From: Brendan Forster <brendan@github.com>
Date: Sun, 6 Nov 2016 23:08:25 +0000 (-0600)
Subject: Merge pull request #2130 from JasonGross/patch-1
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=02a362b1e416d109693ac1fcfa8517604e7deec6;p=gitignore.git

Merge pull request #2130 from JasonGross/patch-1

Update Coq.gitignore
---

02a362b1e416d109693ac1fcfa8517604e7deec6