From 36fe382253328d425ecd4ba855643aee862ae7a6 Mon Sep 17 00:00:00 2001
From: Remy Prechelt <prechelt@hawaii.edu>
Date: Wed, 1 Jul 2020 16:45:02 +0200
Subject: [PATCH] Delete AUTHORS file.

---
 AUTHORS | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 AUTHORS

diff --git a/AUTHORS b/AUTHORS
deleted file mode 100644
index 4383221bb..000000000
--- 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
-- 
GitLab