summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2011-10-31 17:53:40 +0000
committerChristian Grothoff <christian@grothoff.org>2011-10-31 17:53:40 +0000
commit714a6de81bd90110262208d0b1e7b9cb6d01828f (patch)
tree813b3d93141bd914cfaf9eefff52f5b8048021a7 /AUTHORS
parenteb38b6484f13b1ab98f2fb62665d5eb2cf3c5b8b (diff)
update AUTHORS
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS2
1 files changed, 2 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 5dddd606e..2c855800e 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,5 +1,7 @@
Primary developers (0.9.x series):
+Bart Polot <bart@net.in.tum.de>
Christian Grothoff <christian@grothoff.org>
+David Brodski
Heikki Lindholm <holin@iki.fi>
LRN <lrn1986@gmail.com>
Matthias Wachs <wachs@net.in.tum.de>