Admin/user-aliases
author kuncar
Sun, 30 Oct 2016 13:15:14 +0100
changeset 64431 ae53f4d901a3
parent 60419 7c2404ca7f49
child 64880 3f36c53aa105
permissions -rw-r--r--
types to sets: initial commit

lcp = paulson
lp15@cam.ac.uk = paulson
norbert.schirmer@web.de = schirmer
schirmer@in.tum.de = schirmer
urbanc@in.tum.de = urbanc
nipkow@lapbroy100.local = nipkow
chaieb@chaieb-laptop = chaieb
immler@in.tum.de = immler
tsewell@rubicon.NSW.bigpond.net.au = tsewell
tsewell@nicta.com.au = tsewell
thomas.sewell@nicta.com.au = tsewell
kaliszyk@in.tum.de = kaliszyk
Philipp Meyer = meyerp
noschinl@in.tum.de = noschinl
Lars Noschinski <noschinl@in.tum.de> = noschinl
brianh@cs.pdx.edu = huffman
nik = sultana
griff = Christian Sternagel
cezarykaliszyk@gmail.com = kaliszyk
hellerar@macbroy24.informatik.tu-muenchen.de = hellerar
tbourke = Timothy Bourke
gerwin.klein@nicta.com.au = kleing
Gerwin Klein <gerwin.klein@nicta.com.au> = kleing
Manuel Eberl = eberlm
Mathias.Fleury@mpi-inf.mpg.de = fleury