This commit is contained in:
2022-01-06 18:54:22 +01:00
parent 607e485b2d
commit e77180d403
2 changed files with 10 additions and 1 deletions

4
doc/.gitignore vendored Normal file
View File

@@ -0,0 +1,4 @@
*.tex
*.aux
*.log
*.synctex.gz