diff options
| author | David Aspinall | 2003-12-11 17:01:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-12-11 17:01:20 +0000 |
| commit | 0164d341b4b5c5c55f39abde040aa4c591cfcf90 (patch) | |
| tree | 6fbcefd205df0e7d88f99b999f15e67ef1b1599b /Makefile.devel | |
| parent | 598d4d4dd222932bfe38d115ef46f01b483f091f (diff) | |
Fix domain name
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Makefile.devel b/Makefile.devel index f1499679..a235d310 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -66,17 +66,17 @@ # NB: must use TAB as separator in list below. DEVELOPERS=\ --u "da David Aspinall da@proofgeneral.org" \ +-u "da David Aspinall da+pg-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 support+wenzelm@proofgeneral.org" \ +-u "markus Markus Wenzel da+pg-wenzelm@inf.ed.ac.uk" \ -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" \ --u "patrl Patrick Loiseleur support+patrl@proofgeneral.org" \ --u "tms Thomas Kleymann support+tms@proofgeneral.org" \ --u "djs Dilip Sequiera support+djs@proofgeneral.org" \ --u "hhg Healfdene Goguen support+hhg@proofgeneral.org" +-u "patrl Patrick Loiseleur da+pg-patrl@inf.ed.ac.uk" \ +-u "tms Thomas Kleymann da+pg-tms@inf.ed.ac.uk" \ +-u "djs Dilip Sequiera da+pg-djs@inf.ed.ac.uk" \ +-u "hhg Healfdene Goguen da+pg-hhg@inf.ed.ac.uk" # PRERELEASE_PREFIX is used to match PRERELEASE_TAG in sed |