diff options
| author | Cyril Cohen | 2020-11-24 16:56:09 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-24 16:56:09 +0100 |
| commit | 7d41b02be0fa9e317464ac0803aad18fb15981c5 (patch) | |
| tree | d07c92cb3ad8469706c07e3028a4e4eb6f5ce382 /mathcomp/_CoqProject | |
| parent | 510daef196b5b8381756abddbef94d6851f2fca6 (diff) | |
| parent | 0cadfe448ecb17a55d256d1c1a4470a95beab640 (diff) | |
Merge pull request #664 from pi8027/fix-minr-maxr
Fix `@maxr` and `@minr`
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions