Killing .idea -- already in the .gitignore, but not ignored!
This commit is contained in:
parent
f73fd8ae95
commit
b6a41c85e1
3
.gitignore
vendored
3
.gitignore
vendored
@ -1,2 +1 @@
|
||||
.idea/
|
||||
.idea/inspectionProfiles/
|
||||
.idea
|
||||
|
6
.idea/inspectionProfiles/Project_Default.xml
generated
6
.idea/inspectionProfiles/Project_Default.xml
generated
@ -1,6 +0,0 @@
|
||||
<component name="InspectionProjectProfileManager">
|
||||
<profile version="1.0" is_locked="false">
|
||||
<option name="myName" value="Project Default" />
|
||||
<option name="myLocal" value="false" />
|
||||
</profile>
|
||||
</component>
|
8
.idea/inspectionProfiles/profiles_settings.xml
generated
8
.idea/inspectionProfiles/profiles_settings.xml
generated
@ -1,8 +0,0 @@
|
||||
<component name="InspectionProjectProfileManager">
|
||||
<settings>
|
||||
<option name="PROJECT_PROFILE" value="Project Default" />
|
||||
<option name="USE_PROJECT_LEVEL_SETTINGS" value="false" />
|
||||
<scopes />
|
||||
<list size="0" />
|
||||
</settings>
|
||||
</component>
|
Loading…
Reference in New Issue
Block a user