diff options
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 1 |
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> |