From 6403d9734feb4225121ea571efdde17a73589bf0 Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Thu, 25 Jul 2019 15:56:11 +0200
Subject: [PATCH] Fixed eclipse project setting

---
 .settings/org.eclipse.core.resources.prefs | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .settings/org.eclipse.core.resources.prefs

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