diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 14:06:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 14:06:49 +0000 |
commit | cb8c0fb72a9d9b0414177859c2c63249d63d46a8 (patch) | |
tree | a50848b4bed2da05fc73bda13772f4e2ffef9158 /Makefile.devel | |
parent | 8efb20e43103df3e2f14d3b9ac5bba0c698bc4c5 (diff) |
Fix my email addr.
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 a3266eea..4ad041bd 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -72,7 +72,7 @@ # NB: must use TAB as separator in list below. DEVELOPERS=\ --u "da David Aspinall da+pg-da@inf.ed.ac.uk" \ +-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" \ |