master > master: .gitignore

2022-04-20 11:37:52 +02:00
parent 20eea7f2b5
commit 4d4d75f159
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -16,6 +16,7 @@
 !/notes/glossar.md
 !/notes/quellen.md
 !/notes/woche*.pdf
+!/notes/notes.tex
 !/notes/notes.pdf

 !/protocol/README.md