diff options
| author | Makarius Wenzel | 2007-11-18 20:13:40 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2007-11-18 20:13:40 +0000 |
| commit | 29c75c727b6affd4208c90317e203cf57d4652b4 (patch) | |
| tree | e0c97997a64594fddf7676a1ede207699042248b /Makefile.devel | |
| parent | 707074f4198b17e93304397a7bde54f7785ec678 (diff) | |
fixed spelling;
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 613801b4..6745ce36 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -74,7 +74,7 @@ DEVELOPERS=\ -u "da David Aspinall da@inf.ed.ac.uk" \ -u "gkein Gerwin Klein gklein@in.tum.de" \ -u "sberghof Stefan Berghofer berghofe@in.tum.de" \ --u "markus Markarius makarius@sketis.net" \ +-u "markus 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" \ |