summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index e1ce29d..42f02cb 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -18,3 +18,4 @@ Thanks to:
Jorge Almeida <jalmeida@math.ist.utl.pt>
Olivier Brunel <jjk@jjacky.com>
Luis Ressel <aranea@aixah.de>
+ Colin Booth <colin@heliocat.net>