From 45e6b15d4e438a13130ca323b24408b34abf1ff7 Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Tue, 10 Dec 2019 11:19:58 +0100
Subject: [PATCH] Removed and ingored eclipse project files

---
 .gitignore                                 | 1 +
 .settings/org.eclipse.core.resources.prefs | 2 --
 2 files changed, 1 insertion(+), 2 deletions(-)
 delete mode 100644 .settings/org.eclipse.core.resources.prefs

diff --git a/.gitignore b/.gitignore
index 32868bd..430b1ae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 .classpath
 .project
+.settings
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644
index 99f26c0..0000000
--- a/.settings/org.eclipse.core.resources.prefs
+++ /dev/null
@@ -1,2 +0,0 @@
-eclipse.preferences.version=1
-encoding/<project>=UTF-8