Admin/user-aliases
author Walther Neuper <wneuper@ist.tugraz.at>
Tue, 07 Feb 2017 08:57:42 +0100
changeset 59316 3a60188d9cc3
parent 59180 85ec71012df8
permissions -rw-r--r--
separate structure Model : MODEL
     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