diff options
| author | Kazuhiko Sakaguchi | 2020-11-23 20:26:32 +0900 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-24 02:14:20 +0100 |
| commit | 84d3168ae3436acec2df0b6f83e85ae7c5310ce1 (patch) | |
| tree | cf3ccea021bc6b90da906e5a6a286c87f4061f23 /mathcomp/_CoqProject | |
| parent | 95cbf3b00c2d3709b2db9cff16c321012ff4fe62 (diff) | |
Apply suggestions from code review
Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions