diff options
| author | Cyril Cohen | 2020-08-13 17:16:00 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-13 17:16:00 +0200 |
| commit | 2cf06c995a7f1c77e758d5ffd10e70e4a71e77f5 (patch) | |
| tree | 281a85fe1d1d37e047a4747dd87fc9407cfb17b9 /mathcomp/_CoqProject | |
| parent | ea1d26eb0f0c3ada5c159dc163cdc811b5d3239d (diff) | |
| parent | 642182cf6d076cf6c3f435f95ef042fd1ed378af (diff) | |
Merge pull request #494 from pi8027/rm-displays-in-classes
Get rid of displays in class fields and mixin parameters
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions