changeset 31310 | b5365a9db718 |
parent 29643 | 5e0df4b6849e |
child 32080 | 0a8b5dfee5a5 |
--- a/Admin/isatest/settings/at64-poly-5.1-para Sun May 31 14:16:32 2009 +0200 +++ b/Admin/isatest/settings/at64-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"