From ff798521f865b30c1717f4561654f5303a6b992c Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Fri, 13 Dec 2019 10:20:31 +0100
Subject: [PATCH] Fixed ignore file

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 73df60d..2061c9e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,3 @@
 target
 .classpath
 .project
-.settings