diff options
| author | Cyril Cohen | 2020-11-04 15:14:14 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-04 15:14:14 +0100 |
| commit | 26a35314966a28880888eefe62ef053f0b9f038f (patch) | |
| tree | d0ae701b54471d80ce78bc8ec645187ec8d285c1 /mathcomp/algebra | |
| parent | 6eceb3bc43342c0b4cb03716651a017ce88fed09 (diff) | |
| parent | 8ba40dc7b53e9be38b553e8b13210054c6d2d7b4 (diff) | |
Merge pull request #629 from pi8027/remove-compat-1.9
Remove the mc_1_9 compat module
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions