diff -r a44801c499cb -r c2ea4b171f99 Admin/isatest-settings --- a/Admin/isatest-settings Fri May 27 17:10:41 2005 +0200 +++ b/Admin/isatest-settings Sat May 28 05:05:24 2005 +0200 @@ -7,7 +7,7 @@ . ~/.bashrc # canoncical home for all platforms -HOME=/home/stud/isatest +HOME=/usr/stud/isatest ## send email on failure to MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk skalberg@in.tum.de makarius@sketis.net haftmann@in.tum.de"