aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2007-11-15 14:14:50 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2007-11-15 14:14:50 +0000
commit24ae82f9fc9816ca0a1e4de7447ce1db3a2baa28 (patch)
tree1485396d2381f0e149e77725c7be567b73294d32 /Makefile.devel
parenta8e9cd2171bc46aa199eefbbb7de2dee390b4118 (diff)
Fix mail address/name for Makarius
Diffstat (limited to 'Makefile.devel')
-rw-r--r--Makefile.devel2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel
index 76ccbd3b..613801b4 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 Markus Wenzel da+pg-wenzelm@inf.ed.ac.uk" \
+-u "markus Markarius 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" \