diff options
| author | Brian Douglas <bdougie@users.noreply.github.com> | 2021-12-10 19:56:11 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-10 19:56:11 -0800 |
| commit | 5823038d926f5c6690070b6897c656f4b76ea05f (patch) | |
| tree | 73ed58b296ad7372dbdd96fc22fe8c118291b214 /Coq.gitignore | |
| parent | a18247438933c13e73066dcf8639374f9179dd36 (diff) | |
| parent | b461dc26509b0efd8ea4231c01e476fd563c89ba (diff) | |
| download | gitignore-5823038d926f5c6690070b6897c656f4b76ea05f.tar.gz gitignore-5823038d926f5c6690070b6897c656f4b76ea05f.zip | |
Merge pull request #3919 from noinkling/patch-1
Diffstat (limited to 'Coq.gitignore')
0 files changed, 0 insertions, 0 deletions