From 59b0936913d41f764cab329aa0ab2e9ecdc60cfa Mon Sep 17 00:00:00 2001
From: LABOUREL Arnaud <arnaud.labourel@univ-amu.fr>
Date: Wed, 13 Sep 2023 08:20:33 +0000
Subject: [PATCH] Delete misc.xml

---
 .idea/misc.xml | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 .idea/misc.xml

diff --git a/.idea/misc.xml b/.idea/misc.xml
deleted file mode 100644
index 29af3ee..0000000
--- a/.idea/misc.xml
+++ /dev/null
@@ -1,7 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="ExternalStorageConfigurationManager" enabled="true" />
-  <component name="ProjectRootManager" version="2" languageLevel="JDK_11" project-jdk-name="11" project-jdk-type="JavaSDK">
-    <output url="file://$PROJECT_DIR$/out" />
-  </component>
-</project>
\ No newline at end of file
-- 
GitLab