Admin/user-aliases
author blanchet
Tue Dec 07 11:56:53 2010 +0100 (2010-12-07)
changeset 41052 3db267a01c1d
parent 40269 151fef652324
child 45071 aa9fe909d322
permissions -rw-r--r--
remove the "fin_fun" optimization in Nitpick -- it was always a hack and didn't help much
haftmann@29561
     1
lcp paulson
haftmann@29554
     2
norbert.schirmer@web.de schirmer
haftmann@34091
     3
schirmer@in.tum.de schirmer
haftmann@29555
     4
urbanc@in.tum.de urbanc
wenzelm@30491
     5
nipkow@lapbroy100.local nipkow
wenzelm@30491
     6
chaieb@chaieb-laptop chaieb
wenzelm@30491
     7
immler@in.tum.de immler
wenzelm@32766
     8
tsewell@rubicon.NSW.bigpond.net.au tsewell
wenzelm@32766
     9
tsewell@nicta.com.au tsewell
haftmann@40269
    10
kaliszyk@in.tum.de kaliszyk
haftmann@40269
    11
Philipp\ Meyer meyerp
haftmann@40269
    12
Timothy\ Bourke tbourke
haftmann@40269
    13
noschinl@in.tum.de noschinl
haftmann@40269
    14
brianh@cs.pdx.edu huffman