diff options
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index b599ad80..79d6d625 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -67,6 +67,8 @@ DEVELOPERS=\ -u "da David Aspinall da@proofgeneral.org" \ +-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 "pier Pierre Courtieu courtieu@lri.fr" \ -u "crr Christophe Raffalli Christophe.Raffalli@univ-savoie.fr" \ |