# HG changeset patch # User haftmann # Date 1232368703 -3600 # Node ID d8c2712749b88a7acdc1dc9e27199e321868d646 # Parent fe9cfe076c23fcb27604da83a602d62c5ea883a2 lcp = paulson diff -r fe9cfe076c23 -r d8c2712749b8 Admin/user-aliases --- a/Admin/user-aliases Mon Jan 19 08:16:43 2009 +0100 +++ b/Admin/user-aliases Mon Jan 19 13:38:23 2009 +0100 @@ -1,3 +1,4 @@ +lcp paulson norbert.schirmer@web.de schirmer urbanc@in.tum.de urbanc nipkow@lapbroy100.local nipkow \ No newline at end of file