]> source.dussan.org Git - gitignore.git/commitdiff
Merge pull request #2879 from cailloumajor/patch-1
authorBrendan Forster <brendan@github.com>
Fri, 9 Nov 2018 11:45:54 +0000 (07:45 -0400)
committerGitHub <noreply@github.com>
Fri, 9 Nov 2018 11:45:54 +0000 (07:45 -0400)
[TeX] Ignore generated files by 'vhistory' package


Trivial merge