aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorMarcel Raad <Marcel.Raad@teamviewer.com>2017-07-20 15:22:29 +0200
committerMarcel Raad <Marcel.Raad@teamviewer.com>2018-04-10 07:52:45 +0200
commit0b87c963252d3504552ee0c8cf4402bd65a80af5 (patch)
tree0814007e1db3f8de261814ae9a00d30a98bd78f0 /.github
parent0f31647cf7c0a9573f2bd18680099206c9e6daf7 (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 '.github')
0 files changed, 0 insertions, 0 deletions