diff options
| author | Emilio Jesus Gallego Arias | 2017-02-07 03:31:18 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-07 13:42:35 +0100 |
| commit | 62b3f78ee8cb16fcaa95ba7051d050c0e2913018 (patch) | |
| tree | 3b3ece5e94066f890c0ea837828c469fb01367ab /mathcomp/ssreflect/plugin | |
| parent | 86f23d20af6444d2837dc3d74a0265f47e8a571c (diff) | |
[travis] Make v8.5 build again
We also remove PFsection6 from build as it seems to be too close.
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions