diff options
| author | Dominik Ritter <dritter03@googlemail.com> | 2018-06-28 00:27:17 +0300 |
|---|---|---|
| committer | Christian Höltje <docwhat@gerf.org> | 2018-06-28 01:31:52 +0300 |
| commit | 0b92e915c49a80a670307e84a828c5b89885928d (patch) | |
| tree | 4c3fc77d1a0bb116c871d28e5d16ddafc81763b3 /docker/zplugin/Dockerfile | |
| parent | b9e6e6f32a74f6a177c1367a262411afaf893a20 (diff) | |
Use ubuntu 17.10, as the sources for 17.04 seem to be down
Diffstat (limited to 'docker/zplugin/Dockerfile')
0 files changed, 0 insertions, 0 deletions