diff options
| author | Emilio Jesus Gallego Arias | 2017-02-06 21:34:39 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-07 02:15:07 +0100 |
| commit | 486ad00de3ec88adea5e770c29142210e9de8b97 (patch) | |
| tree | 6ece32501417f8a7081b6464783094886fe2aa76 /mathcomp | |
| parent | ab3eda33281366194e1eadb5c53970da8fd3b3b5 (diff) | |
[travis] Improve parallelism in build (cf #88)
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions