diff options
| author | Enrico Tassi | 2016-12-19 13:09:34 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-12-19 13:09:34 +0100 |
| commit | 29f6948c82da7ef51562a49d069583ffe77aa0ad (patch) | |
| tree | 84ac3bfb94011c14c7173eddc0537c3de2ec6d34 /mathcomp/algebra | |
| parent | a369ebb35a13ea8b71d3960637937e6cde41211a (diff) | |
fix compilation on 8.5
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions