Delete editor.xml

This commit is contained in:
Brad Stein 2018-01-10 12:58:30 -06:00 committed by GitHub
parent e91c09dc80
commit 7911b792ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,10 +0,0 @@
<application>
<component name="DefaultFont">
<option name="FONT_SIZE" value="18" />
<option name="FONT_SCALE" value="1.5" />
</component>
<component name="TodoConfiguration">
<pattern pattern="\btodo\b.*" />
<pattern pattern="\bfixme\b.*" />
</component>
</application>