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;
haftmann@29561
     1
lcp paulson
haftmann@29554
     2
norbert.schirmer@web.de schirmer
haftmann@29555
     3
urbanc@in.tum.de urbanc
wenzelm@30491
     4
nipkow@lapbroy100.local nipkow
wenzelm@30491
     5
chaieb@chaieb-laptop chaieb
wenzelm@30491
     6
immler@in.tum.de immler