[doc] ignore generated files

This commit is contained in:
Nico Schottelius 2020-08-01 13:24:51 +02:00
parent 7ce28b0b60
commit 3745a0e2b1
1 changed files with 2 additions and 0 deletions

2
doc/.gitignore vendored Normal file
View File

@ -0,0 +1,2 @@
*.pdf
*.tex