From 57c96f7eb5c8613cd6fe90216f262fc984e10743 Mon Sep 17 00:00:00 2001
From: Alice Khoudli <alice.khoudli@polytechnique.org>
Date: Sat, 16 Nov 2024 20:39:52 +0100
Subject: [PATCH] misc: add jetbrain folder .idea to gitignore

Signed-off-by: Alice Khoudli <alice.khoudli@polytechnique.org>
---
 .gitignore      | 1 +
 core/.gitignore | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 45f1f3f27ee..ce357786f0e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 *.backup
 __pycache__
 .vscode
+.idea
 
 # Direnv
 .envrc
diff --git a/core/.gitignore b/core/.gitignore
index f904d5b2d4e..dfbfc8342c1 100644
--- a/core/.gitignore
+++ b/core/.gitignore
@@ -1,5 +1,4 @@
 .gradle
-.idea
 .kotlin
 build
 *.iml