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.
removed Norbert's email from isatest (bounces)
authorkleing
Sun, 23 Oct 2011 17:12:14 +1100
changeset 45253 b57523021938
parent 45252 6de58d947e57
child 45254 e41c679c9d82
removed Norbert's email from isatest (bounces)
Admin/isatest/isatest-settings file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-settings	Sat Oct 22 23:43:01 2011 +0200
+++ b/Admin/isatest/isatest-settings	Sun Oct 23 17:12:14 2011 +1100
@@ -15,7 +15,6 @@
 kleing@cse.unsw.edu.au \
 nipkow@in.tum.de \
 berghofe@in.tum.de \
-schirmer@in.tum.de \
 lp15@cam.ac.uk \
 makarius@sketis.net \
 blanchet@in.tum.de \
isabelle