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