diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 0000000000000000000000000000000000000000..0bfc663bd4cba8c78a3de80d903028b587a3f338 --- /dev/null +++ b/AUTHORS @@ -0,0 +1 @@ +Georges Da Costa georges.da-costa@irit.fr \ No newline at end of file