From 254238a02c2f508bc13391be6c50320a3f05689d Mon Sep 17 00:00:00 2001 From: FARESSE Adam <adam.faresse@etu.univ-amu.fr> Date: Mon, 5 Oct 2020 13:21:41 +0200 Subject: [PATCH] Delete misc.xml --- .idea/misc.xml | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 .idea/misc.xml diff --git a/.idea/misc.xml b/.idea/misc.xml deleted file mode 100644 index 1763e15..0000000 --- a/.idea/misc.xml +++ /dev/null @@ -1,6 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<project version="4"> - <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