diff options
| author | Cyril Cohen | 2020-09-07 15:27:49 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-09-07 15:27:49 +0200 |
| commit | ed040ad0db541c597a354aba126f428e42eef854 (patch) | |
| tree | 3884e9e23b799f0b970de1d5931ae944e233738b /docs/htmldoc | |
| parent | abb204c55d28b139bb57d56fb7e3b0ae29cf5dc5 (diff) | |
compat Coq < 8.10
Diffstat (limited to 'docs/htmldoc')
0 files changed, 0 insertions, 0 deletions