diff options
Diffstat (limited to 'TRANSLATION')
| -rw-r--r-- | TRANSLATION | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/TRANSLATION b/TRANSLATION new file mode 100644 index 0000000..74a10cb --- /dev/null +++ b/TRANSLATION @@ -0,0 +1,4 @@ +Javier Castillo <castillf@informatik.uni-freiburg.de> +Johann Latocha <johann@latocha.de> +Achille Nana <achille.achille@gmail.com> +Fadi Salameh <fadi84@hotmail.com>
\ No newline at end of file |