| changeset 13680 | a6ce43a59d4a |
| parent 13431 | b0ba3b3573e1 |
| child 13839 | e1240620f1b5 |
--- a/Admin/isatest-makedist Fri Oct 25 10:47:47 2002 +0200 +++ b/Admin/isatest-makedist Sat Oct 26 13:05:27 2002 +0200 @@ -11,7 +11,7 @@ ## global settings -MAILTO="kleing@in.tum.de nipkow@in.tum.de wenzelm@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk" +MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk" TMP=/tmp/isatest-makedist.$$ MAIL=~/bin/pmail @@ -24,7 +24,7 @@ TAR=gtar SUN=sunbroy2 -AT=atbroy37 +AT=atbroy51 SSH="ssh -f"