diff options
author | Pablo Barciela <[email protected]> | 2020-03-08 20:29:06 +0100 |
---|---|---|
committer | Pablo Barciela <[email protected]> | 2020-03-08 20:59:55 +0100 |
commit | dc5b6cbe78d131cf9171534e9de581d3d246fd7f (patch) | |
tree | 5453728c385fd39dcc92b5b84f17c7b2bfa51ec7 /help/oc | |
parent | 383ee147002da5665a6bc45ce02669e33d219b9e (diff) | |
download | engrampa-dc5b6cbe78d131cf9171534e9de581d3d246fd7f.tar.bz2 engrampa-dc5b6cbe78d131cf9171534e9de581d3d246fd7f.tar.xz |
Travis CI: use Ubuntu 20.04 instead 19.10
Diffstat (limited to 'help/oc')
0 files changed, 0 insertions, 0 deletions