From 0281eddc835461de188ac4ebbf1cbcebdb32a32a Mon Sep 17 00:00:00 2001
From: Brad Stein <brad.stein@gmail.com>
Date: Sun, 21 Jan 2018 02:39:13 -0600
Subject: [PATCH] Delete editor.xml

---
 editor.xml | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 editor.xml

diff --git a/editor.xml b/editor.xml
deleted file mode 100644
index 19bd26a..0000000
--- a/editor.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<application>
-  <component name="DefaultFont">
-    <option name="FONT_SIZE" value="18" />
-    <option name="FONT_SCALE" value="1.5" />
-  </component>
-</application>
\ No newline at end of file