# HG changeset patch
# User wenzelm
# Date 1126952282 -7200
# Node ID f869b73b71ece4bdee47009ef78236e3a5794e2a
# Parent  3c9c46b820f5ea2302e9e0d79223ae835414d7ae
tuned;

diff -r 3c9c46b820f5 -r f869b73b71ec Admin/isatest-settings
--- a/Admin/isatest-settings	Sat Sep 17 12:18:00 2005 +0200
+++ b/Admin/isatest-settings	Sat Sep 17 12:18:02 2005 +0200
@@ -11,7 +11,7 @@
 HOME=/usr/stud/isatest
 
 ## send email on failure to
-MAILTO="kleing@cse.unsw.edu.au 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"
+MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de"
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log