From 745e2f4923c653c7b9bff990375d9f3f67b4c212 Mon Sep 17 00:00:00 2001
From: Robin Naundorf <r.naundorf@fh-muenster.de>
Date: Wed, 15 Feb 2017 19:58:58 +0100
Subject: [PATCH] Add .idea to gitignore (#5427)

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index f9bc83bead..903f607c1e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -80,3 +80,4 @@ ecover.out
 .agignore
 .ctags
 tags
+.idea