Admin/isatest/settings/at-poly-5.1-para-e
changeset 26371 8e4286e2bffe
parent 26210 cf904c5642e1
child 26402 441ddf3b8f02
     1.1 --- a/Admin/isatest/settings/at-poly-5.1-para-e	Mon Mar 24 15:59:16 2008 +0100
     1.2 +++ b/Admin/isatest/settings/at-poly-5.1-para-e	Mon Mar 24 15:59:56 2008 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  # -*- shell-script -*-
     1.5  
     1.6 -  POLYML_HOME="/usr/proj/polyml/polyml-cvs"
     1.7 +  POLYML_HOME="/home/polyml/polyml-cvs"
     1.8    ML_SYSTEM="polyml-5.1"
     1.9    ML_PLATFORM="x86-linux"
    1.10    ML_HOME="$POLYML_HOME/$ML_PLATFORM"