diff options
author | Marcel Raad <Marcel.Raad@teamviewer.com> | 2017-07-20 15:22:29 +0200 |
---|---|---|
committer | Marcel Raad <Marcel.Raad@teamviewer.com> | 2018-04-10 07:52:45 +0200 |
commit | 0b87c963252d3504552ee0c8cf4402bd65a80af5 (patch) | |
tree | 0814007e1db3f8de261814ae9a00d30a98bd78f0 /scripts/coverage.sh | |
parent | 0f31647cf7c0a9573f2bd18680099206c9e6daf7 (diff) |
travis: use trusty for coverage build
This works now and precise is in the process of being decommissioned.
Closes https://github.com/curl/curl/pull/2476
Diffstat (limited to 'scripts/coverage.sh')
0 files changed, 0 insertions, 0 deletions