| changeset 14170 | edd5a2ea3807 |
| parent 14039 | bb70604a07c4 |
| child 14981 | e73f8140af78 |
--- a/Admin/isatest-check Wed Aug 27 18:13:59 2003 +0200 +++ b/Admin/isatest-check Wed Aug 27 18:22:34 2003 +0200 @@ -17,9 +17,9 @@ ## global settings # send mail to: -MAILTO="kleing@in.tum.de nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk" +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" -ADMIN="kleing@in.tum.de" +ADMIN="berghofe@in.tum.de" # canoncical home for all platforms HOME=/usr/stud/isatest