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 /src/tools | |
| parent | 3d65c8b7f57ab6b9b99e39303e069c40eee91502 (diff) | |
| download | marco-d51c43e021ece487f76f6745ec07a2d3e02465e9.tar.bz2 marco-d51c43e021ece487f76f6745ec07a2d3e02465e9.tar.xz | |
Travis CI: use Ubuntu devel instead 19.10
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions