diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-21 12:33:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-21 12:33:23 +0200 |
| commit | 4fe6b2a6744c4852cd3fdf0bc7a3437f8a16645f (patch) | |
| tree | 208685b601ef56c2b26d55a12b48c0c71cf51d53 /thirdparty/misc | |
| parent | 2a0c0db028c84c75f4a927d0fd400449f3236952 (diff) | |
| parent | 283ba78399a565cb24d1ddfe73ed596792648383 (diff) | |
Merge pull request #9745 from Marqin/faster_travis
make use of 2 cores in Travis CI
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions