Admin/user-aliases
author wenzelm
Thu Mar 12 23:12:53 2009 +0100 (2009-03-12)
changeset 30491 772e95280456
parent 29561 d8c2712749b8
child 32766 87491cac8b83
permissions -rw-r--r--
more user aliases;
     1 lcp paulson
     2 norbert.schirmer@web.de schirmer
     3 urbanc@in.tum.de urbanc
     4 nipkow@lapbroy100.local nipkow
     5 chaieb@chaieb-laptop chaieb
     6 immler@in.tum.de immler