| changeset 58440 | 07505e95db40 |
| parent 48157 | 303a7384cffd |
| child 60763 | b8170925c848 |
--- a/Admin/isatest/isatest-settings Thu Sep 25 09:01:14 2014 +0200 +++ b/Admin/isatest/isatest-settings Thu Sep 25 12:27:34 2014 +0200 @@ -24,7 +24,8 @@ krauss@in.tum.de \ noschinl@in.tum.de \ kuncar@in.tum.de \ -ns441@cam.ac.uk" +ns441@cam.ac.uk \ +traytel@in.tum.de" LOGPREFIX=$HOME/log MASTERLOG=$LOGPREFIX/isatest.log