From d42b5387f42d08645b399e764fd27b945903af11 Mon Sep 17 00:00:00 2001
From: Claudio Atzori <claudio.atzori@isti.cnr.it>
Date: Thu, 30 May 2019 15:34:51 +0200
Subject: [PATCH] ignores

---
 .gitignore | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 7fb76a2..2fe609f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
+# General
+*~
+
 # ---> Eclipse
 
 .metadata
@@ -15,6 +18,9 @@ local.properties
 # External tool builders
 .externalToolBuilders/
 
+# Intellij
+.idea
+
 # Locally stored "Eclipse launch configurations"
 *.launch
 
@@ -92,4 +98,3 @@ dependency-reduced-pom.xml
 buildNumber.properties
 .mvn/timing.properties
 .mvn/wrapper/maven-wrapper.jar
-