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 418f6365..394ec937 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -8,7 +8,7 @@ Current Authors/Maintainers:
plastic, lego
Pierre Courtieu <courtieu@lri.fr>
coq
- Christoph Rafalli <Christophe.Raffalli@univ-savoie.fr>
+ Christoph Raffalli <Christophe.Raffalli@univ-savoie.fr>
phox
Previous Authors: