]> source.dussan.org Git - gitignore.git/commitdiff
Merge pull request #1798 from JelteF/patch-1
authorBrendan Forster <brendan@github.com>
Sun, 13 Dec 2015 08:04:46 +0000 (18:34 +1030)
committerBrendan Forster <brendan@github.com>
Sun, 13 Dec 2015 08:04:46 +0000 (18:34 +1030)
Tex: Ignore files generated by pdfcomment package


Trivial merge