From ae97bc005b62af3aad7d71a38dfb893f2a5df504 Mon Sep 17 00:00:00 2001
From: "B. Ninassi" <benjamin.ninassi@inria.fr>
Date: Tue, 10 Sep 2019 16:39:44 +0200
Subject: [PATCH] Adding .idea to gitignore

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

diff --git a/.gitignore b/.gitignore
index f0db3ba..82749ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,4 +22,5 @@
 
 /app/check.php
 /web/config.php
-.project
\ No newline at end of file
+.project
+.idea
\ No newline at end of file
-- 
GitLab