bstein/Dominion-Strategy-Simulator
1
0
Fork 0
mirror of https://github.com/neogeek23/Dominion-Strategy-Simulator.git synced 2026-02-04 11:08:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Delete editor.xml

Browse Source
This commit is contained in:
Brad Stein 2018-01-06 11:36:20 -06:00 committed by GitHub
parent 0aef758b50
commit d37c0c931a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
editor.xml
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>