From dee93143ae4b9e5ccae901f7dddc63033be7ab57 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 30 Sep 2015 13:43:10 +0200
Subject: [PATCH] Restore/enrich gitignore

---
 .gitignore | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

diff --git a/.gitignore b/.gitignore
index f7c7dfdee..057efa0f3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,14 +21,14 @@ target
 derivation*.dot
 
 # leon
-/last.log
-/*.last
-/*.table
-/*.log
-/smt-sessions/
-/leon.out/
-/repairs.dat
-/tmp
+last.log
+*.last
+*.table
+*.log
+smt-sessions/
+leon.out/
+repairs.dat
+tmp
 
 #eclipse
 .cache
@@ -41,9 +41,10 @@ derivation*.dot
 .idea
 Leon.eml
 Leon.iml
+/.idea_modules
 
 #scripts
-/out-classes
+out-classes
 
 #z3
 .z3-trace
-- 
GitLab