# HG changeset patch
# User kleing
# Date 1150946175 -7200
# Node ID f0aeb6a145b16039b4c29ee42993a9090f6b20ba
# Parent  906c887ed587f6e553586da37832f28adc2229d0
new standard dir structure

diff -r 906c887ed587 -r f0aeb6a145b1 Admin/isatest-settings
--- 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"