Delete editor.xml

This commit is contained in:
Brad Stein 2018-01-11 07:38:08 -06:00 committed by GitHub
parent f12cf0fada
commit d7c5b41748
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>