Ignore generated Cython files

stanford-centaur · Oct 31, 2024 · 333895d · 333895d
1 parent d9fd584
commit 333895d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -44,3 +44,4 @@ local/
 
 # Generated files
 compile_commands.json
+python/smt_switch/smt_solvers.px[di]