Diffing tweaks

This commit is contained in:
Charlotte Van Petegem 2023-10-25 13:36:11 +02:00
parent 79efa56f88
commit d4df76be2d
No known key found for this signature in database
GPG key ID: 019E764B7184435A
2 changed files with 2 additions and 1 deletions

1
.gitignore vendored
View file

@ -1,2 +1,3 @@
book.pdf
book.tex
diff.pdf