--- a/lib/scripts/patch-scripts.bash Wed Nov 22 21:41:39 2000 +0100
+++ b/lib/scripts/patch-scripts.bash Wed Nov 22 21:47:04 2000 +0100
@@ -1,4 +1,4 @@
-#
+# -*- shell-script -*-
# $Id$
# Author: Markus Wenzel, TU Muenchen
# License: GPL (GNU GENERAL PUBLIC LICENSE)