From 44536e5a57e7e503f72a4406b0c6ce3eaebb33ec Mon Sep 17 00:00:00 2001
From: David Mehren <git@herrmehren.de>
Date: Mon, 11 Sep 2023 17:40:42 +0200
Subject: [PATCH] Use Maven for IntelliJ project config

---
 .idea/misc.xml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index a5af440..2ac9e35 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,4 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
+  <component name="ExternalStorageConfigurationManager" enabled="true" />
+  <component name="MavenProjectsManager">
+    <option name="originalFiles">
+      <list>
+        <option value="$PROJECT_DIR$/pom.xml" />
+      </list>
+    </option>
+  </component>
   <component name="ProjectRootManager" version="2" languageLevel="JDK_20" project-jdk-name="temurin-20" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>
-- 
GitLab