Admin/isatest-settings
changeset 16615 e665dafdd2b8
parent 16106 c2ea4b171f99
child 16616 491d8dbdb3b8
     1.1 --- a/Admin/isatest-settings	Wed Jun 29 15:13:44 2005 +0200
     1.2 +++ b/Admin/isatest-settings	Thu Jun 30 05:27:40 2005 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +# -*- shell-script -*-
     1.5  # $Id$
     1.6  # Author: Gerwin Klein, NICTA
     1.7  #