diff options
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index 72d8a3bc..b3058d3d 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -75,6 +75,7 @@ DEVELOPERS=\ -u "gkein Gerwin Klein gklein@in.tum.de" \ -u "sberghof Stefan Berghofer berghofe@in.tum.de" \ -u "markus Makarius makarius@sketis.net" \ +-u "makarius Makarius makarius@sketis.net" \ -u "pier Pierre Courtieu courtieu@lri.fr" \ -u "crr Christophe Raffalli Christophe.Raffalli@univ-savoie.fr" \ -u "pxc Paul Callaghan P.C.Callaghan@durham.ac.uk" \ |