]> source.dussan.org Git - gitignore.git/commit
Merge pull request #2130 from JasonGross/patch-1
authorBrendan Forster <brendan@github.com>
Sun, 6 Nov 2016 23:08:25 +0000 (17:08 -0600)
committerGitHub <noreply@github.com>
Sun, 6 Nov 2016 23:08:25 +0000 (17:08 -0600)
commit02a362b1e416d109693ac1fcfa8517604e7deec6
treef2429579872264181d2686ac1582d0a3f6106006
parent1f903481145e27662eaeb564b08d3f0c585a96b7
parent8202fbb408af642c886b525ef7149812376cba6e
Merge pull request #2130 from JasonGross/patch-1

Update Coq.gitignore