diff options
| author | Raphaël Zumer <rzumer@tebako.net> | 2020-06-08 18:20:56 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-08 18:20:56 +0000 |
| commit | 2fab0903447b537021fa5ae6632976b955f5e6ac (patch) | |
| tree | 4e594abd34cb1811cd0ed9723411557d387d6cf8 /src/libui_sdl/libui/doc | |
| parent | 90cf310e8114a9bf813b764d4f501e1f3133e77f (diff) | |
Update Ubuntu version used for CI
Ubuntu 20.04 is supported "as a preview"
and may have to be replaced in the future,
but 18.04's Qt package is too old to build.
Diffstat (limited to 'src/libui_sdl/libui/doc')
0 files changed, 0 insertions, 0 deletions