diff --git a/AUTHORS b/AUTHORS deleted file mode 100644 index 4383221bb04292b7401d19276ec8f65562f83aff..0000000000000000000000000000000000000000 --- a/AUTHORS +++ /dev/null @@ -1,6 +0,0 @@ -Hans Dembinski <hdembins@mpi-hd.mpg.de> -Lukas Nellen <lukas@nucleares.unam.mx> -Remy Prechelt <prechelt@hawaii.edu> -Maximilian Reininghaus <maximilian.reininghaus@kit.edu> -Felix Riehn <friehn@lip.pt> -Ralf Ulrich <ralf.ulrich@kit.edu> \ No newline at end of file