diff options
| author | Pierre Courtieu | 2016-01-06 11:50:47 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2016-01-06 11:50:47 +0100 |
| commit | 5eff32433b3ae47d36f6acab87e7af0d273946d6 (patch) | |
| tree | 962bb32f9f1e1611715eddb5ca5149559d85ce91 /generic | |
| parent | 1e3c5b68a6fa43d9997c5bbf9ac7ace865ed15b7 (diff) | |
Fixing #20. #19 fixed by a commit in coq-8.5.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions