]> source.dussan.org Git - gitignore.git/commitdiff
Merge pull request #1808 from habi/patch-4
authorBrendan Forster <brendan@github.com>
Mon, 21 Dec 2015 21:49:11 +0000 (08:19 +1030)
committerBrendan Forster <brendan@github.com>
Mon, 21 Dec 2015 21:49:11 +0000 (08:19 +1030)
Ignore auxiliary files from \usepackage{cprotect}


Trivial merge