Update .gitignore (#10)

fpvandoorn · May 2, 2024 · bc04842 · bc04842
1 parent 0fbdc55
commit bc04842
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,8 +9,6 @@
 *.fls
 *.log
 *.synctex.gz
-# Python virtual environment 
-/.venv/
-# Lean blueprint 
+# Lean blueprint
 /blueprint/lean_decls
 /blueprint/src/web.bbl