diff options
| author | Cyril Cohen | 2019-04-23 08:43:09 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-23 08:43:09 +0200 |
| commit | 5118bc30e1748dd58ddf30889c69502e9366f2d9 (patch) | |
| tree | 02949d8d9f505274784b834ecb1f89844b035598 /mathcomp/field | |
| parent | 05c18a013e26d29473d70ec4aa978fc8f58d1002 (diff) | |
| parent | 10e688f72239e75fbe8d8ea0c84c468569f49a96 (diff) | |
Merge pull request #332 from pi8027/zmodp-interval
Remove unused `Require`s and a hint directive from interval.v
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions