From 9bdc337c8dd288f0cc148f430d7efb81bea40e1a Mon Sep 17 00:00:00 2001
From: Brad Stein <brad.stein@gmail.com>
Date: Thu, 4 Oct 2018 19:52:30 -0500
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