Delete accidentally pushed Project Default.xml

This commit is contained in:
Arnold Szabó 2019-10-30 23:04:44 +02:00 committed by GitHub
parent 925a7fd045
commit fb2a702918
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +0,0 @@
<component name="InspectionProjectProfileManager">
<profile version="1.0">
<option name="myName" value="Project Default" />
</profile>
</component>