diff options
| author | David Aspinall | 2003-05-20 20:18:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-05-20 20:18:52 +0000 |
| commit | fb812bbffb795d1b7d219965510397fe199e13e5 (patch) | |
| tree | fcd93c72bb909924a482658a71a7a7de414c6369 | |
| parent | afddfbf1c61bd723ab725ace32ef5fb0ca1fb6f9 (diff) | |
Replace obsolete developer email addresses by alias at proofgeneral.org.
| -rw-r--r-- | Makefile.devel | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/Makefile.devel b/Makefile.devel index 42a72f2e..71c2b1c5 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -65,16 +65,15 @@ # Arguments for rcs2log for ChangeLog target DEVELOPERS=\ --u "da David Aspinall da@proofgeneral.org" \ --u "markus Markus Wenzel wenzelm@informatik.tu-muenchen.de" \ --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 Patrick.Loiseleur@lri.fr" \ --u "tms Thomas Kleymann tms@dcs.ed.ac.uk" \ --u "djs Dilip Sequiera djs@dcs.ed.ac.uk" \ --u "hhg Healfdene Goguen hhg@dcs.ed.ac.uk" - +-u "da David Aspinall da@proofgeneral.org" \ +-u "markus Markus Wenzel support+wenzelm@proofgeneral.org" \ +-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" # PRERELEASE_PREFIX is used to match PRERELEASE_TAG in sed |