diff options
| author | Emilio Jesus Gallego Arias | 2017-02-06 22:57:16 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-07 02:16:10 +0100 |
| commit | 86f23d20af6444d2837dc3d74a0265f47e8a571c (patch) | |
| tree | 1a6611f6aeed4a29522ab2b3bbdb6e9251ddc82c /mathcomp | |
| parent | 486ad00de3ec88adea5e770c29142210e9de8b97 (diff) | |
[travis] Build 70% of FT proof.
I'm afraid we cannot reliably build more with the 50 minutes timeout.
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions