Merge remote-tracking branch 'origin/develop'

runtimeverification · Aug 22, 2024 · 3e78288 · 3e78288
2 parents a578d87 + 0e4c4ea
commit 3e78288
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