Add build file extensions, included .bbl

2023-09-08 09:36:40 +02:00
parent e407ce073e
commit 13cbbc4e0e
1 changed files with 2 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -36,3 +36,5 @@
 *.log
 *.out
 *.bib
 *.synctex.gz
 *.bbl