diff options
author | Pablo Barciela <[email protected]> | 2020-04-03 03:22:19 +0200 |
---|---|---|
committer | Pablo Barciela <[email protected]> | 2020-04-03 03:28:13 +0200 |
commit | 16c1dd611c6d0bae629c1afdf5177a6c3b1d794a (patch) | |
tree | 179a92beeb703c989b98f9777011933047f403c8 /.github | |
parent | c111f4838fc448c8d42514e18552a0ca735727ce (diff) | |
download | mozo-16c1dd611c6d0bae629c1afdf5177a6c3b1d794a.tar.bz2 mozo-16c1dd611c6d0bae629c1afdf5177a6c3b1d794a.tar.xz |
Travis CI: use Ubuntu 20.04 instead 19.10
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions