aboutsummaryrefslogtreecommitdiffhomepage
path: root/AUTHORS
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2001-08-31 11:40:04 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2001-08-31 11:40:04 +0000
commitd9d42525610e16b38bacde5edf7e92117e7a7ce5 (patch)
treedea14c7f1c0bfbc22cd2f09e36a815d6bdcc6be7 /AUTHORS
parent512b9eede4994580513a6b96015edda6b3d3c1da (diff)
Add Christophe to list
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS2
1 files changed, 2 insertions, 0 deletions
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: