diff options
| author |  Clément Pit-Claudel <cpitclaudel@gmail.com> | 2018-08-15 11:05:35 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-08-15 11:05:35 -0400 |
| commit | b7f17b7ca09276be5cd29263bd5574fdd6fa4d2c (patch) | |
| tree | f26abf84e0e9cfd6d2a1d9d856d5d91c2823b7bd /coq/coqtags | |
| parent | 52d1f920a6565fc1c3793d4f70b990ca343dc0d0 (diff) | |
| parent | 0d7a62f36b532dffa5fe8e55e6b1a1775e6c17e6 (diff) | |
Merge pull request #378 from user454322/patch-1
Fix typo in INSTALL file
Diffstat (limited to 'coq/coqtags')
0 files changed, 0 insertions, 0 deletions