From 95194e62abb45ab9cb901a860b79bf078050182c Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <me@steffo.eu>
Date: Mon, 28 Oct 2024 04:34:43 +0100
Subject: [PATCH] Add whatever this IDEA stuff is

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

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 6e866721..b2ec737a 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,5 +1,5 @@
 <project version="4">
-  <component name="ProjectRootManager">
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_22">
     <output url="file://$PROJECT_DIR$/out" />
   </component>
 </project>
\ No newline at end of file