Generic commit.

This commit is contained in:
JPT committed 2016-04-05 08:30:39 +02:00
1 parent 0d15d418fe
commit 73eaa993cd
3 files changed
+26 -1

No files matched your search

+2
View File
@@ -3,6 +3,7 @@
*.blg
*.dvi
*.log
*.lol
*.lot
*.lof
*.toc
@@ -10,3 +11,4 @@
*.synctex.gz
*.bak
*.pdf