From 6bda0e4afda0a48f37a32ea8e589053f2cf23e48 Mon Sep 17 00:00:00 2001 From: romainsacchi Date: Mon, 18 Sep 2023 11:09:22 +0200 Subject: [PATCH] Delete .idea directory --- .idea/.gitignore | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .idea/.gitignore diff --git a/.idea/.gitignore b/.idea/.gitignore deleted file mode 100644 index 26d3352..0000000 --- a/.idea/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -# Default ignored files -/shelf/ -/workspace.xml