diff options
| author | Cyril Cohen | 2020-08-11 03:57:16 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-11 03:57:16 +0200 |
| commit | 60bd08e5b3575a34d8e969c2e4ade40926630143 (patch) | |
| tree | c9940ac14c9424f2adeb32a868ed833d0fe547da /mathcomp/_CoqProject | |
| parent | d7c08d664a58f8ee99ae9a0de805c8af89889ba5 (diff) | |
| parent | 8a4ae574ed75857b9762e06c11589409874ca1a4 (diff) | |
Merge pull request #542 from chdoc/nothing-to-inject
fix "Nothing to inject" warnings
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions