diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-13 13:08:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-13 13:08:16 +0000 |
commit | acc4886105ef93a97e3c3a86e57210ebed0a5725 (patch) | |
tree | 1aa71ed163bf33d508af60ec7092d117178e2554 /Makefile.devel | |
parent | 113dfe60a9d4b461509fc3b1df558606fb4f121b (diff) |
Add makarius=markus
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" \ |