Delete .idea directory

This commit is contained in:
Jeroen Oudshoorn
2023-08-29 23:34:41 +02:00
committed by GitHub
parent a9451cc724
commit 91089d2594
5 changed files with 0 additions and 157 deletions

View File

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