From b4b9855fe763031c2a4669767eafdc2f12f95232 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@capricorn>
Date: Sat, 3 Jun 2017 11:19:26 +0200
Subject: [PATCH] add .idea to the ignore list

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

diff --git a/.gitignore b/.gitignore
index d47b641..ec764ad 100644
--- a/.gitignore
+++ b/.gitignore
@@ -605,4 +605,5 @@ target/
 *.out
 *.pdf
 *.toc
-*.gz
\ No newline at end of file
+*.gz
+.idea