From d8d0c553782ad3277997f451edc0c54b92f1a32d Mon Sep 17 00:00:00 2001
From: Miles Vella <673-vella@users.noreply.gitlab.cs.uni-duesseldorf.de>
Date: Thu, 20 Mar 2025 15:21:54 +0100
Subject: [PATCH] add idea files to gitignore

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

diff --git a/.gitignore b/.gitignore
index da7d8d8..eb87145 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,11 @@
 .project
 .settings/
 
+# IDEA
+out/
+.idea/
+*.iml
+
 # Test output
 *.prob
 Testing.cfg
-- 
GitLab