From ff09fdb9613a045866a6804734a204dcc8e3fa40 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 22 Jul 2008 11:06:37 +0000
Subject: Add Graham Dutton

---
 AUTHORS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'AUTHORS')

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)
 
-- 
cgit v1.2.3