Delete Default.xml

This commit is contained in:
Brad Stein 2018-01-10 12:57:49 -06:00 committed by GitHub
parent 07d2e8b1bd
commit 37d580ba03
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,3 +0,0 @@
<profile version="1.0">
<option name="myName" value="Default" />
</profile>