Admin/isatest-settings
changeset 19941 f0aeb6a145b1
parent 17446 f869b73b71ec
--- a/Admin/isatest-settings	Wed Jun 21 21:30:57 2006 +0200
+++ b/Admin/isatest-settings	Thu Jun 22 05:16:15 2006 +0200
@@ -8,7 +8,7 @@
 . ~/.bashrc
 
 # canoncical home for all platforms
-HOME=/usr/stud/isatest
+HOME=/home/isatest
 
 ## send email on failure to
 MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de"