]> source.dussan.org Git - gitignore.git/commit
Merge pull request #3701 from JasonGross/patch-1
authorBrian Douglas <bdougie@users.noreply.github.com>
Thu, 6 May 2021 13:13:35 +0000 (06:13 -0700)
committerGitHub <noreply@github.com>
Thu, 6 May 2021 13:13:35 +0000 (06:13 -0700)
commit5253281c9f6e78fec30644e3a36f137d29a3043c
treebede80d84a26a9619fdd871751c384bfc16e7247
parent218a941be92679ce67d0484547e3e142b2f5f6f0
parent68f4c9a5a9710d0e7a669a760d15e76107e69acf
Merge pull request #3701 from JasonGross/patch-1

Update Coq.gitignore