diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 0000000000000000000000000000000000000000..7036fa76902c4d4368664f0b745b5ea621a7e62f --- /dev/null +++ b/AUTHORS @@ -0,0 +1,2 @@ +Maximilian Reininghaus, maximilian.reininghaus@kit.edu +Ralf Ulrich, ralf.ulrich@kit.edu