From 73051b88f0813ecd2fc146244491dd8c1718b3b2 Mon Sep 17 00:00:00 2001 From: Tosca Heunis Date: Wed, 20 Sep 2023 15:18:19 +0200 Subject: [PATCH] remove unnecessary file --- CONTRIBUTORS | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 CONTRIBUTORS diff --git a/CONTRIBUTORS b/CONTRIBUTORS deleted file mode 100644 index 275a555e..00000000 --- a/CONTRIBUTORS +++ /dev/null @@ -1,6 +0,0 @@ -The following people have contributed to this project: - -Michael Hanke -Stephan Heunis -Christian Moench -Benjamin Poldrack