last git ignore push

This commit is contained in:
fruitstaa 2018-11-11 16:36:04 +01:00
parent d5078bc7e5
commit 8a1b51683d

3
.gitignore vendored
View file

@ -1,3 +1,4 @@
build/ build/
*.log *.log
*.syctex.gz *.synctex.gz
*.aux