Began pruning the introduction.

2026-05-18 18:19:48 +02:00
parent a205d70fe4
commit 85dc43fb38
4 changed files with 72 additions and 80 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -17,8 +17,8 @@ data/*
 *.cb
 *.cb2
 .*.lb
-*.bbl
-*.bcf
+*.bbl*
+*.bcf*
 *.blg
 *-blx.aux
 *-blx.bib
@@ -28,4 +28,4 @@ data/*
 *.synctex(busy)
 *.synctex.gz
 *.synctex.gz(busy)
-*.pdfsync
+*.pdfsync