diff -r a493a50e6c0a -r e665dafdd2b8 Admin/isatest-settings
--- a/Admin/isatest-settings	Wed Jun 29 15:13:44 2005 +0200
+++ b/Admin/isatest-settings	Thu Jun 30 05:27:40 2005 +0200
@@ -1,3 +1,4 @@
+# -*- shell-script -*-
 # $Id$
 # Author: Gerwin Klein, NICTA
 #