specify files and directories of .idea

2025-04-24 01:22:11 +02:00
parent f34d04f174
commit 1904f917ad
1 changed files with 4 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
-/.idea/
+/.idea/workspace.xml
+/.idea/shelf
+/.idea/inspectionProfiles
+/.idea/misc.xml
 /auxil/
 /out/