Admin/user-aliases
author blanchet
Wed May 21 14:09:42 2014 +0200 (2014-05-21)
changeset 57037 c51132be8e16
parent 55135 bc8cf4312ea7
child 57853 ee908fccabc2
permissions -rw-r--r--
avoid markup-generating @{make_string}
     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 brianh@cs.pdx.edu huffman
    16 nik sultana
    17 griff Christian Sternagel
    18 cezarykaliszyk@gmail.com kaliszyk
    19 hellerar@macbroy24.informatik.tu-muenchen.de hellerar
    20 tbourke Timothy Bourke
    21 gerwin.klein@nicta.com.au kleing
    22 Gerwin\ Klein\ <gerwin.klein@nicta.com.au> kleing