diff options
| author | Pierre-Marie Pédrot | 2019-11-17 13:14:11 +0100 |
|---|---|---|
| committer | Reynald Affeldt | 2020-04-08 00:13:38 +0900 |
| commit | 107954c7161e95f39c266fa7b9c2fa8d2498d724 (patch) | |
| tree | 77eae20e8ed1263e1a32c3a1b87edc868bbb9680 /mathcomp/_CoqProject | |
| parent | 80d009e290eb5f935bcd4e341011bc6c5ea61531 (diff) | |
Remove hint declarations using non-global definitions.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions