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.
Added skalberg to recepients, changed admin from kleing to berghofe.
authorskalberg
Wed, 27 Aug 2003 18:22:34 +0200
changeset 14170 edd5a2ea3807
parent 14169 0590de71a016
child 14171 0cab06e3bbd0
Added skalberg to recepients, changed admin from kleing to berghofe.
Admin/isatest-check file | annotate | diff | comparison | revisions
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle