Update .gitignore (#4)

fpvandoorn · Apr 30, 2024 · 1409c61 · 1409c61
1 parent 6b6de34
commit 1409c61
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -8,4 +8,9 @@
 *.fdb_latexmk
 *.fls
 *.log
-*.synctex.gz
+*.synctex.gz
+# Python virtual environment 
+/.venv/
+# Lean blueprint 
+/blueprint/lean_decls
+/blueprint/src/web.bbl