Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
path /home/stud doesn't exist on macbroy33 (only /usr/stud)
authorkleing
Sat, 28 May 2005 05:05:24 +0200
changeset 16106 c2ea4b171f99
parent 16105 a44801c499cb
child 16107 b16e3df5ad29
path /home/stud doesn't exist on macbroy33 (only /usr/stud)
Admin/isatest-settings file | annotate | diff | comparison | revisions 
--- 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"
isabelle