Admin/user-aliases
author immler@in.tum.de
Thu, 26 Feb 2009 10:13:43 +0100
changeset 30151 629f3a92863e
parent 29561 d8c2712749b8
child 30491 772e95280456
permissions -rw-r--r--
removed global ref dfg_format
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
29561
d8c2712749b8 lcp = paulson
haftmann
parents: 29555
diff changeset
     1
lcp paulson
29554
7e5e5ebb7bf7 added churn script
haftmann
parents:
diff changeset
     2
norbert.schirmer@web.de schirmer
29555
8938f89973f3 corrected user aliases
haftmann
parents: 29554
diff changeset
     3
urbanc@in.tum.de urbanc
29554
7e5e5ebb7bf7 added churn script
haftmann
parents:
diff changeset
     4
nipkow@lapbroy100.local nipkow