diff options
| author | Michael Williamson <mike@zwobble.org> | 2019-12-16 20:56:04 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2019-12-16 20:56:04 +0000 |
| commit | 1a85dc00c4dee0a22bc95e6066c5ef6a67c88584 (patch) | |
| tree | 669a698766e0b6199be288bec650f2ee74915ee1 /makefile | |
| parent | 3f5086cd94fde60f8d6ba795dc2fa7f77323601a (diff) | |
Switch back to oraclejdk8 on trusty on Travis CI
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions