| changeset 45253 | b57523021938 |
| parent 41663 | 4030fcc5c785 |
| child 45908 | 143d2514347f |
--- 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 \