Admin/user-aliases
author wenzelm
Fri Oct 07 21:16:48 2016 +0200 (2016-10-07)
changeset 64092 95469c544b82
parent 60419 7c2404ca7f49
child 64880 3f36c53aa105
permissions -rw-r--r--
accept obscure timezone used in 2011;
     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