From ad44022a9d2672ff886dfc2fa979a7e98237fa11 Mon Sep 17 00:00:00 2001
From: Matt Godbolt <matt@godbolt.org>
Date: Mon, 21 Aug 2023 21:39:15 -0500
Subject: [PATCH] Give up on .idea/misc.xml

---
 .idea/.gitignore |  1 +
 .idea/misc.xml   | 15 ---------------
 2 files changed, 1 insertion(+), 15 deletions(-)
 delete mode 100644 .idea/misc.xml

diff --git a/.idea/.gitignore b/.idea/.gitignore
index b2dffc00f..876265cfb 100644
--- a/.idea/.gitignore
+++ b/.idea/.gitignore
@@ -1,2 +1,3 @@
+misc.xml
 workspace.xml
 *.local.*
diff --git a/.idea/misc.xml b/.idea/misc.xml
deleted file mode 100644
index 42d8501f5..000000000
--- a/.idea/misc.xml
+++ /dev/null
@@ -1,15 +0,0 @@
-<project version="4">
-  <component name="FrameworkDetectionExcludesConfiguration">
-    <type id="django" />
-  </component>
-  <component name="JavaScriptSettings">
-    <option name="languageLevel" value="ES6" />
-  </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="Python 3.10 (infra)" project-jdk-type="Python SDK" />
-  <component name="PyPackaging">
-    <option name="earlyReleasesAsUpgrades" value="true" />
-  </component>
-  <component name="PythonCompatibilityInspectionAdvertiser">
-    <option name="version" value="3" />
-  </component>
-</project>
\ No newline at end of file