Admin/user-aliases
author wenzelm
Wed Jun 10 19:05:19 2015 +0200 (2015-06-10)
changeset 60419 7c2404ca7f49
parent 59654 e327a9ae2d61
child 64880 3f36c53aa105
permissions -rw-r--r--
more user aliases;
     1 lcp = paulson
     2 lp15@cam.ac.uk = paulson
     3 norbert.schirmer@web.de = schirmer
     4 schirmer@in.tum.de = schirmer
     5 urbanc@in.tum.de = urbanc
     6 nipkow@lapbroy100.local = nipkow
     7 chaieb@chaieb-laptop = chaieb
     8 immler@in.tum.de = immler
     9 tsewell@rubicon.NSW.bigpond.net.au = tsewell
    10 tsewell@nicta.com.au = tsewell
    11 thomas.sewell@nicta.com.au = tsewell
    12 kaliszyk@in.tum.de = kaliszyk
    13 Philipp Meyer = meyerp
    14 noschinl@in.tum.de = noschinl
    15 Lars Noschinski <noschinl@in.tum.de> = noschinl
    16 brianh@cs.pdx.edu = huffman
    17 nik = sultana
    18 griff = Christian Sternagel
    19 cezarykaliszyk@gmail.com = kaliszyk
    20 hellerar@macbroy24.informatik.tu-muenchen.de = hellerar
    21 tbourke = Timothy Bourke
    22 gerwin.klein@nicta.com.au = kleing
    23 Gerwin Klein <gerwin.klein@nicta.com.au> = kleing
    24 Manuel Eberl = eberlm
    25 Mathias.Fleury@mpi-inf.mpg.de = fleury