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

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

diff --git a/.idea/gradle.xml b/.idea/gradle.xml
deleted file mode 100644
index 267d99c..0000000
--- a/.idea/gradle.xml
+++ /dev/null
@@ -1,17 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="GradleSettings">
-    <option name="linkedExternalProjectsSettings">
-      <GradleProjectSettings>
-        <option name="distributionType" value="DEFAULT_WRAPPED" />
-        <option name="externalProjectPath" value="$PROJECT_DIR$" />
-        <option name="modules">
-          <set>
-            <option value="$PROJECT_DIR$" />
-          </set>
-        </option>
-        <option name="useAutoImport" value="true" />
-      </GradleProjectSettings>
-    </option>
-  </component>
-</project>
\ No newline at end of file
-- 
GitLab