Delete profiles_settings.xml

This commit is contained in:
程序员Carl 2022-08-02 09:34:41 +08:00 committed by GitHub
parent 5d690afae6
commit 52c395702c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 6 deletions

View File

@ -1,6 +0,0 @@
<component name="InspectionProjectProfileManager">
<settings>
<option name="USE_PROJECT_PROFILE" value="false" />
<version value="1.0" />
</settings>
</component>