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

---
 .gitignore                                 | 3 +++
 .settings/org.eclipse.core.resources.prefs | 2 --
 .settings/org.eclipse.m2e.core.prefs       | 4 ----
 3 files changed, 3 insertions(+), 6 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 f897a7f..0000000
--- a/.settings/org.eclipse.m2e.core.prefs
+++ /dev/null
@@ -1,4 +0,0 @@
-activeProfiles=
-eclipse.preferences.version=1
-resolveWorkspaceProjects=true
-version=1