From cc15df9307a90253524abdac61adff805d4cbbff Mon Sep 17 00:00:00 2001
From: Zachary Yedidia <zyedidia@gmail.com>
Date: Sun, 19 Nov 2017 15:40:21 -0500
Subject: [PATCH] Remove unnecessary authors file

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

diff --git a/AUTHORS b/AUTHORS
deleted file mode 100644
index 66bdac33..00000000
--- a/AUTHORS
+++ /dev/null
@@ -1,9 +0,0 @@
-Zachary Yedidia <zyedida@gmail.com>
-Collin Warren <anatoly@somethinghub.com>
-
-Github users:
-
-
-For license and copyright information, see LICENSE instead.
-Thank you from all of us for using micro. And thank you to everyone who
-contributes, from bug reports to commits.