From 22f622a6adc6a5cf3fef98f25a211c7da4e33419 Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Tue, 10 Dec 2019 11:32:03 +0100
Subject: [PATCH] Removed and ignored eclipse project files

---
 .gitignore                                 | 3 +++
 .settings/org.eclipse.core.resources.prefs | 2 --
 .settings/org.eclipse.m2e.core.prefs       | 5 -----
 3 files changed, 3 insertions(+), 7 deletions(-)
 delete mode 100644 .settings/org.eclipse.core.resources.prefs
 delete mode 100644 .settings/org.eclipse.m2e.core.prefs

diff --git a/.gitignore b/.gitignore
index eb5a316..73df60d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,4 @@
 target
+.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
diff --git a/.settings/org.eclipse.m2e.core.prefs b/.settings/org.eclipse.m2e.core.prefs
deleted file mode 100644
index d7bf809..0000000
--- a/.settings/org.eclipse.m2e.core.prefs
+++ /dev/null
@@ -1,5 +0,0 @@
-#Wed Sep 25 11:08:37 CEST 2013
-activeProfiles=
-eclipse.preferences.version=1
-resolveWorkspaceProjects=true
-version=1