diff options
| author | Cyril Cohen | 2020-11-23 17:53:17 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-23 22:49:11 +0100 |
| commit | 53b6f555a5068f3ded38c623f1939e082b3268ae (patch) | |
| tree | 429d78a011dfce7f283d0addd876e25553ae77e8 /mathcomp/Make | |
| parent | e6a25b8d4806cf968dbf6c33343ba1d1fb28ddf6 (diff) | |
fixing [dup] for Coq 8.12
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions