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

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

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
index 15b6804c..064a4dc9 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -8,6 +8,8 @@ Current Authors/Maintainers:
      plastic, lego
    Pierre Courtieu <courtieu@lri.fr>
      coq
+   Christoph Rafalli <Christophe.Raffalli@univ-savoie.fr>
+     phox
  
 Previous Authors:
 
-- 
cgit v1.2.3