diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 0000000..5a65542 --- /dev/null +++ b/AUTHORS @@ -0,0 +1,6 @@ +Petr Janku +http://www.fit.vutbr.cz/~ijanku/ + +Philipp Ruemmer +http://www.philipp.ruemmer.org +