diff options
| author | Patrick Spek <p.spek@tyil.nl> | 2019-07-12 12:03:42 +0200 |
|---|---|---|
| committer | Patrick Spek <Tyil@users.noreply.github.com> | 2019-07-12 12:16:27 +0200 |
| commit | 67f036c37e062e2c864e35b1fe06b51e74eb523d (patch) | |
| tree | 0886e95542eb3409389dc355850fb47245919051 /lib | |
| parent | b704d0c66f5a402233aed691527d8b26d7befed6 (diff) | |
Good ol' Travis needs some love too
The build for 2018.12 is disabled, as it seems there's a missing package
for Ubuntu 16.04 64bit.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions