diff options
author | Pablo Barciela <[email protected]> | 2020-03-11 15:26:24 +0100 |
---|---|---|
committer | Pablo Barciela <[email protected]> | 2020-03-11 15:49:54 +0100 |
commit | 2ff6b200f17523022dab71db2b8def84e51630bb (patch) | |
tree | efb1ee5a927c2dff0939ce995efb76b5e0aa5528 /NEWS | |
parent | c432d536affdd6698a194888a76ac41c649fb40b (diff) | |
download | eom-2ff6b200f17523022dab71db2b8def84e51630bb.tar.bz2 eom-2ff6b200f17523022dab71db2b8def84e51630bb.tar.xz |
Travis CI: use Ubuntu 20.04 instead 19.10
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions