Update .gitignore for MacOS and Pycharm (#4599)

Co-authored-by: Palina Tolmach <[email protected]>
runtimeverification · Aug 22, 2024 · 0e4c4ea · 0e4c4ea
1 parent 0055fe7
commit 0e4c4ea
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/pyk/.gitignore b/pyk/.gitignore
@@ -10,3 +10,6 @@ __pycache__/
 
 .kprove*
 *.debug-log
+
+.idea/
+.DS_Store