changeset 31310 | b5365a9db718 |
parent 26210 | cf904c5642e1 |
child 34238 | b28be884edda |
--- a/Admin/isatest/settings/annomaly Sun May 31 14:16:32 2009 +0200 +++ b/Admin/isatest/settings/annomaly Sun May 31 14:20:54 2009 +0200 @@ -1,3 +1,5 @@ +# -*- shell-script -*- :mode=shellscript: + ML_SYSTEM=annomaly ML_HOME="$SMLNJ_HOME/bin" ML_OPTIONS="-m $SMLNJ_HOME/annomaly/annomaly.cm @SMLdebug=/dev/null"