From af7c35b5c715c96676c2002d43addfb26f9671f5 Mon Sep 17 00:00:00 2001
From: Sergey Igushkin <hotkeytlt@gmail.com>
Date: Wed, 20 Mar 2019 19:55:48 +0300
Subject: [PATCH] Revert profile_settings.xml accidentally deleted in ffdd43b8

---
 .idea/inspectionProfiles/profiles_settings.xml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 .idea/inspectionProfiles/profiles_settings.xml

diff --git a/.idea/inspectionProfiles/profiles_settings.xml b/.idea/inspectionProfiles/profiles_settings.xml
new file mode 100644
index 00000000000..78f1346b901
--- /dev/null
+++ b/.idea/inspectionProfiles/profiles_settings.xml
@@ -0,0 +1,7 @@
+<component name="InspectionProjectProfileManager">
+  <settings>
+    <option name="PROJECT_PROFILE" value="idea.default" />
+    <option name="USE_PROJECT_PROFILE" value="true" />
+    <version value="1.0" />
+  </settings>
+</component>
\ No newline at end of file