diff options
| author | Enrico Tassi | 2020-09-14 15:11:14 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-09-14 18:55:29 +0200 |
| commit | 38b28c7d9756da7d346a1866a4ce712b1c3472af (patch) | |
| tree | c185403def5278aed62de33ad2da3b2ac0deeb52 /mathcomp/_CoqProject | |
| parent | 755068fd34f0fa1e918123c4859aef2e89bedfca (diff) | |
don't use all.v in output.v
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions