# HG changeset patch
# User wenzelm
# Date 1236895973 -3600
# Node ID 772e9528045691cc448ff457ce5e562ead2c38b6
# Parent  d09b7f0c2c140549cb87ac916400e68df0d33c47
more user aliases;

diff -r d09b7f0c2c14 -r 772e95280456 Admin/user-aliases
--- a/Admin/user-aliases	Thu Mar 12 22:16:25 2009 +0100
+++ b/Admin/user-aliases	Thu Mar 12 23:12:53 2009 +0100
@@ -1,4 +1,6 @@
 lcp paulson
 norbert.schirmer@web.de schirmer
 urbanc@in.tum.de urbanc
-nipkow@lapbroy100.local nipkow
\ No newline at end of file
+nipkow@lapbroy100.local nipkow
+chaieb@chaieb-laptop chaieb
+immler@in.tum.de immler