diff options
| author | affeldt-aist | 2020-04-09 14:10:18 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-09 14:10:18 +0200 |
| commit | fea81ec06b1c309852c4c4062f4c5d1755c738d0 (patch) | |
| tree | 226b5fae28e8f58b19e58183b5a15a5b450f36d1 /mathcomp/_CoqProject | |
| parent | ad82c5fb56113bdef57e96f6a79000a29803eb38 (diff) | |
| parent | 107954c7161e95f39c266fa7b9c2fa8d2498d724 (diff) | |
Merge pull request #431 from ppedrot/rm-constr-hint-decls
Remove hint declarations using non-global definitions.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions