From aa9baabb5ce6e9219ce66c4a9fad1f42423df030 Mon Sep 17 00:00:00 2001
From: Samuel Wolff <Samuel.Wolff@edu.bib.de>
Date: Tue, 12 Dec 2023 23:19:36 +0100
Subject: [PATCH] =?UTF-8?q?wei=C3=9F=20nicht=20was=20das=20ist?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/.idea/misc.xml b/.idea/misc.xml
index a855768..bc7e437 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -7,6 +7,7 @@
         <option value="$PROJECT_DIR$/pom.xml" />
       </list>
     </option>
+    <option name="workspaceImportForciblyTurnedOn" value="true" />
   </component>
   <component name="ProjectRootManager" version="2" languageLevel="JDK_X" default="true" project-jdk-name="21" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />