From 1904f917ada3c0631045dfdb83851966c75f4c9f Mon Sep 17 00:00:00 2001
From: Tobias Hilfiker <tobias@sonnenseite.ch>
Date: Thu, 24 Apr 2025 01:22:11 +0200
Subject: [PATCH] specify files and directories of .idea

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

diff --git a/.gitignore b/.gitignore
index 1c477e5..491f5e0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
-/.idea/
+/.idea/workspace.xml
+/.idea/shelf
+/.idea/inspectionProfiles
+/.idea/misc.xml
 /auxil/
 /out/
\ No newline at end of file