From ab00c4b6729a64af28b19cbae908a48d36170145 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Tue, 14 Nov 2023 14:08:32 +0100
Subject: Update phpstorm config

---
 .idea/inspectionProfiles/profiles_settings.xml | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 .idea/inspectionProfiles/profiles_settings.xml

(limited to '.idea/inspectionProfiles/profiles_settings.xml')

diff --git a/.idea/inspectionProfiles/profiles_settings.xml b/.idea/inspectionProfiles/profiles_settings.xml
deleted file mode 100644
index dd4c951e..00000000
--- a/.idea/inspectionProfiles/profiles_settings.xml
+++ /dev/null
@@ -1,7 +0,0 @@
-<component name="InspectionProjectProfileManager">
-  <settings>
-    <option name="PROJECT_PROFILE" value="Default" />
-    <option name="USE_PROJECT_PROFILE" value="false" />
-    <version value="1.0" />
-  </settings>
-</component>
\ No newline at end of file
-- 
cgit v1.2.3-55-g7522