This commit is contained in:
NikolajDanger
2023-02-11 12:26:50 +01:00
parent f843bca72c
commit 035fee869b
2 changed files with 2 additions and 1 deletions

1
.gitignore vendored
View File

@ -7,3 +7,4 @@
*.log
*.run.xml
*.synctex.gz
*.xdv

Binary file not shown.