From 8594d113e0891838a39b91595e5077bc3e787b04 Mon Sep 17 00:00:00 2001
From: "luca.frosini" <luca.frosini@nb-frosini.isti.cnr.it>
Date: Wed, 21 Jun 2023 16:29:17 +0200
Subject: [PATCH] Added ignore

---
 .settings/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.settings/.gitignore b/.settings/.gitignore
index f80ee1c..3d3c9b3 100644
--- a/.settings/.gitignore
+++ b/.settings/.gitignore
@@ -1,3 +1,4 @@
 /org.eclipse.jdt.core.prefs
 /org.eclipse.core.resources.prefs
 /org.eclipse.m2e.core.prefs
+/org.eclipse.jdt.ui.prefs