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 10b43e0..f5af71b 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -9,3 +9,4 @@ Thanks to:
Jean Marot <jean.marot@salle-s.org>
Jorge Almeida <jalmeida@math.ist.utl.pt>
Vallo Kallaste <kalts@estpak.ee>
+ Josuah Demangeon <mail@josuah.net>