From 8e6dedec7e232f511fa9c066e658c8ca6313259f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 31 Aug 2001 11:40:43 +0000
Subject: Add DvO to list

---
 AUTHORS | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index 064a4dc9..0dccdeb4 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -18,4 +18,7 @@ Previous Authors:
    Dilip Sequeira    (lego)
    Patrick Loiseleur (coq)
 
+Assistance also from:
+
+   David von Oheimb  (x-symbol)
 
-- 
cgit v1.2.3