more user aliases;
authorwenzelm
Wed Jun 10 19:05:19 2015 +0200 (2015-06-10)
changeset 604197c2404ca7f49
parent 60418 0bcffc47eaca
child 60420 884f54e01427
more user aliases;
Admin/user-aliases
     1.1 --- a/Admin/user-aliases	Wed Jun 10 18:57:31 2015 +0200
     1.2 +++ b/Admin/user-aliases	Wed Jun 10 19:05:19 2015 +0200
     1.3 @@ -21,4 +21,5 @@
     1.4  tbourke = Timothy Bourke
     1.5  gerwin.klein@nicta.com.au = kleing
     1.6  Gerwin Klein <gerwin.klein@nicta.com.au> = kleing
     1.7 -Manuel Eberl = eberlm
     1.8 \ No newline at end of file
     1.9 +Manuel Eberl = eberlm
    1.10 +Mathias.Fleury@mpi-inf.mpg.de = fleury