summary refs log tree commit diff
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>