diff options
author | Pablo Barciela <[email protected]> | 2020-03-13 16:23:32 +0100 |
---|---|---|
committer | Pablo Barciela <[email protected]> | 2020-03-13 16:53:14 +0100 |
commit | d51c43e021ece487f76f6745ec07a2d3e02465e9 (patch) | |
tree | 4a4dfa369e9426ba6e515ab55a8065ef29344ded /doc/Makefile.am | |
parent | 3d65c8b7f57ab6b9b99e39303e069c40eee91502 (diff) | |
download | marco-d51c43e021ece487f76f6745ec07a2d3e02465e9.tar.bz2 marco-d51c43e021ece487f76f6745ec07a2d3e02465e9.tar.xz |
Travis CI: use Ubuntu devel instead 19.10
Diffstat (limited to 'doc/Makefile.am')
0 files changed, 0 insertions, 0 deletions