From ab6be64b9bd8ecd68c17cd67c6d1bc4b40353f49 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 17 Apr 2015 17:13:14 +0200
Subject: [PATCH] Add IntelliJ files to .gitignore

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

diff --git a/.gitignore b/.gitignore
index af2c06330..9722bf4cb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,6 +33,12 @@ last.log
 .worksheet/
 testingSheet.sc
 
+#intellij
+.idea
+Leon.eml
+Leon.iml
+bin
+
 #z3
 .z3-trace
 
-- 
GitLab