Admin/isatest-settings
changeset 16106 c2ea4b171f99
parent 16095 f6af6b265d20
child 16615 e665dafdd2b8
     1.1 --- a/Admin/isatest-settings	Fri May 27 17:10:41 2005 +0200
     1.2 +++ b/Admin/isatest-settings	Sat May 28 05:05:24 2005 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  . ~/.bashrc
     1.5  
     1.6  # canoncical home for all platforms
     1.7 -HOME=/home/stud/isatest
     1.8 +HOME=/usr/stud/isatest
     1.9  
    1.10  ## send email on failure to
    1.11  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"