changeset 31310 | b5365a9db718 |
parent 30617 | 620db300c038 |
child 31316 | 39fe8093b1df |
--- a/Admin/isatest/settings/at-mac-poly-5.1-para Sun May 31 14:16:32 2009 +0200 +++ b/Admin/isatest/settings/at-mac-poly-5.1-para Sun May 31 14:20:54 2009 +0200 @@ -1,4 +1,4 @@ -# -*- shell-script -*- +# -*- shell-script -*- :mode=shellscript: POLYML_HOME="/home/polyml/polyml-5.2.1" ML_SYSTEM="polyml-5.2.1"