aboutsummaryrefslogtreecommitdiffhomepage
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS2
1 files changed, 1 insertions, 1 deletions
diff --git a/AUTHORS b/AUTHORS
index 06b13056..a0877e36 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -14,8 +14,8 @@ Previous Authors:
Patrick Loiseleur (coq)
Dilip Sequeira (lego)
-
Assistance also from:
David von Oheimb (x-symbol)
+ Graham Dutton (web support)