From 96d90b8748303da592d294bc609553600f332edd Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 11 May 2023 16:08:26 +0200
Subject: [PATCH] removed another ide specific file

---
 .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