more user aliases;
authorwenzelm
Sat Jan 25 16:35:15 2014 +0100 (2014-01-25)
changeset 55135bc8cf4312ea7
parent 55134 1b67b17cdad5
child 55136 fb10f6ce0c16
more user aliases;
Admin/user-aliases
     1.1 --- a/Admin/user-aliases	Sat Jan 25 15:29:40 2014 +0100
     1.2 +++ b/Admin/user-aliases	Sat Jan 25 16:35:15 2014 +0100
     1.3 @@ -1,4 +1,5 @@
     1.4  lcp paulson
     1.5 +lp15@cam.ac.uk paulson
     1.6  norbert.schirmer@web.de schirmer
     1.7  schirmer@in.tum.de schirmer
     1.8  urbanc@in.tum.de urbanc