Delete editor.xml

This commit is contained in:
Brad Stein 2018-01-21 02:39:13 -06:00 committed by GitHub
parent 0eeee58633
commit 0281eddc83
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +0,0 @@
<application>
<component name="DefaultFont">
<option name="FONT_SIZE" value="18" />
<option name="FONT_SCALE" value="1.5" />
</component>
</application>