.gitignore hinzugefügt

This commit is contained in:
2020-10-25 14:16:36 +01:00
parent 5c67d822f6
commit d957f5d761

3
.gitignore vendored Normal file
View File

@@ -0,0 +1,3 @@
*.log
*.synctex
*.aux