Merge pull request #6 from daniel-larraz/ignore-files

Remove and ignore compiled python files
cvc5 · Sep 18, 2024 · 1e931dd · 1e931dd
2 parents 0581b7b + 6aae7d0
commit 1e931dd
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,8 @@
+_build
+.vscode
+
+.DS_Store
+
+*.pyc
+__pycache__/
+
diff --git a/beginners/ext/__pycache__/examples.cpython-312.pyc b/beginners/ext/__pycache__/examples.cpython-312.pyc
diff --git a/beginners/ext/__pycache__/smtliblexer.cpython-312.pyc b/beginners/ext/__pycache__/smtliblexer.cpython-312.pyc