summaryrefslogtreecommitdiff
path: root/AUTHORS
diff options
context:
space:
mode:
Diffstat (limited to 'AUTHORS')
-rw-r--r--AUTHORS1
1 files changed, 1 insertions, 0 deletions
diff --git a/AUTHORS b/AUTHORS
index 777e086..ad747c7 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,3 +1,4 @@
Daniel Stoedle <daniels@cs.uit.no>
Mike Miller <mike@mikeage.net>
Toni Uhlig <matzeton@googlemail.com>
+Sebastien Raveau <sebastien.raveau@epita.fr>