# HG changeset patch # User haftmann # Date 1232553009 -3600 # Node ID 1f930609dcd096713fe7b364506dd9d25aba2f07 # Parent 0950f4f0d0cd8ccd0f80acf8d85f620796a472a1# Parent 7de51bcbf15e942ef20f8601c01a047c018d052d merged diff -r 0950f4f0d0cd -r 1f930609dcd0 Admin/user-aliases --- a/Admin/user-aliases Wed Jan 21 16:48:15 2009 +0100 +++ b/Admin/user-aliases Wed Jan 21 16:50:09 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