From 4a5f13c8f5756dcdd70af49b5693f773e1ea9fb8 Mon Sep 17 00:00:00 2001
From: Claudio Atzori <claudio@pc-atzori.isti.cnr.it>
Date: Mon, 12 Nov 2018 14:22:19 +0100
Subject: [PATCH] added more ignores

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 0c12c6c..77eaee7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,5 +27,7 @@
 *.idea
 *.iml
 
+.DS_Store
+
 # virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
 hs_err_pid*