| changeset 14170 | edd5a2ea3807 |
| parent 14037 | 3b7f3eec9684 |
| child 14981 | e73f8140af78 |
--- a/Admin/isatest-makedist Wed Aug 27 18:13:59 2003 +0200 +++ b/Admin/isatest-makedist Wed Aug 27 18:22:34 2003 +0200 @@ -13,7 +13,7 @@ HOME=/usr/stud/isatest ## global settings -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" TMP=/tmp/isatest-makedist.$$ MAIL=$HOME/bin/pmail