From c8b748bfd4957e2b56f112dc4b5760281e16087e Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Tue, 31 Jan 2023 16:37:33 +0100
Subject: [PATCH] removed wrong files

---
 .settings/.gitignore | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 .settings/.gitignore

diff --git a/.settings/.gitignore b/.settings/.gitignore
deleted file mode 100644
index 1de83a6..0000000
--- a/.settings/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/org.eclipse.core.resources.prefs
-/org.eclipse.jdt.core.prefs
-/org.eclipse.m2e.core.prefs