From 8e49fb76b9444499a1e6e9c94337dc3609df8124 Mon Sep 17 00:00:00 2001
From: finnm <finn.moltmann@tu-dortmund.de>
Date: Mon, 16 Dec 2024 18:59:15 +0100
Subject: [PATCH] Made FinnSort generic

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

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 122ba17..5a6579d 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -3,5 +3,5 @@
   <component name="FrameworkDetectionExcludesConfiguration">
     <file type="web" url="file://$PROJECT_DIR$" />
   </component>
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_23" default="true" project-jdk-name="23" project-jdk-type="JavaSDK" />
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_21" project-jdk-name="23" project-jdk-type="JavaSDK" />
 </project>
\ No newline at end of file