diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 00000000..75ff6363 --- /dev/null +++ b/AUTHORS @@ -0,0 +1,7 @@ +# Names should be added to this file like so: +# Name +# +# Please keep the list sorted. + +Simon Eisenmann +