diff options
| author | Pierre-Marie Pédrot | 2017-08-01 16:46:29 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-01 16:46:29 +0200 |
| commit | 30fc910b01f61ce3691ed63a0908c1c60cee76dd (patch) | |
| tree | eca8017c8278b0bbc0ee7266d624ed6866d63725 /_CoqProject | |
| parent | 8a8fd265158fa3fe7eea65b50c3da722e81fa688 (diff) | |
Fix documentation.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions