From 59df85f226b9fb6c30985160a4e6c0879f8c6104 Mon Sep 17 00:00:00 2001
From: Andreas Pfeil <andreas.pfeil@kit.edu>
Date: Wed, 4 Sep 2024 16:51:40 +0200
Subject: [PATCH] ide: ignore ide specific settings in favor of gradle

Avoid influencing local builds. This shall be fully done via gradle.
---
 .gitignore         |  3 +++
 .idea/compiler.xml |  6 ------
 .idea/misc.xml     | 10 ----------
 3 files changed, 3 insertions(+), 16 deletions(-)
 delete mode 100644 .idea/compiler.xml
 delete mode 100644 .idea/misc.xml

diff --git a/.gitignore b/.gitignore
index 229adfa..68eac01 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,6 +18,9 @@ bin
 # Covers JetBrains IDEs: IntelliJ, RubyMine, PhpStorm, AppCode, PyCharm, CLion, Android Studio, WebStorm and Rider
 # Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839
 
+# Actually we want to make sure everything is handled via gradle.
+.idea
+
 # User-specific stuff
 .idea/**/workspace.xml
 .idea/**/tasks.xml
diff --git a/.idea/compiler.xml b/.idea/compiler.xml
deleted file mode 100644
index fb7f4a8..0000000
--- a/.idea/compiler.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="CompilerConfiguration">
-    <bytecodeTargetLevel target="11" />
-  </component>
-</project>
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
deleted file mode 100644
index 5d98256..0000000
--- a/.idea/misc.xml
+++ /dev/null
@@ -1,10 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ExternalStorageConfigurationManager" enabled="true" />
-  <component name="FrameworkDetectionExcludesConfiguration">
-    <file type="web" url="file://$PROJECT_DIR$" />
-  </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="true" project-jdk-name="11" project-jdk-type="JavaSDK">
-    <output url="file://$PROJECT_DIR$/out" />
-  </component>
-</project>
\ No newline at end of file