From 8bcc8607903f4861d2f4706d1e9fbe1e74ff09bc Mon Sep 17 00:00:00 2001 From: Philip Guyton Date: Mon, 10 Jan 2022 19:17:19 +0000 Subject: [PATCH] Remove neglected/redundant AUTHORS file #2328 This file was last updated 9 years ago when only the 2 project founders were contributors. We have now had around 30 contributors but we still have only 2 listed in this file. As we have also had contributor guidelines indicating for interested parties to contribute to this file for some time there is clear indication that it is redundant. Especially as we primarily use git / GitHub for attribution. --- AUTHORS | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 AUTHORS diff --git a/AUTHORS b/AUTHORS deleted file mode 100644 index 8892941b9..000000000 --- a/AUTHORS +++ /dev/null @@ -1,2 +0,0 @@ -Suman Chakravartula -Sujeet Srinivasan