Clean up .gitignore

stanford-centaur · May 20, 2024 · b036477 · b036477
1 parent 9d000bd
commit b036477
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -32,15 +32,15 @@
 *.app
 
 # Python wheels build artifacts
-build/
 dist/
 *egg-info
 
-
-deps/CVC4/
-
+# Directories
+build/
 deps/
-
 local/
 .cache/
 .vscode/
+
+# Generated files
+compile_commands.json