diff options
| author | Christian Doczkal | 2020-08-11 16:10:00 +0200 |
|---|---|---|
| committer | Christian Doczkal | 2020-08-13 10:55:02 +0200 |
| commit | 2d4885d8902280b487535c7dfc3db69c1f95443e (patch) | |
| tree | 165772ca1c1db4c1b66db5b82d9cb427dbec48b6 /mathcomp/_CoqProject | |
| parent | ea1d26eb0f0c3ada5c159dc163cdc811b5d3239d (diff) | |
fix non-reversible-notation warnings
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions