diff options
| author | jackpoz <giacomopoz@gmail.com> | 2019-12-07 16:30:37 +0100 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2019-12-08 17:35:25 +0100 |
| commit | 994ddb22d22c76942b63c152e23a106d1db87e70 (patch) | |
| tree | 96337bb8853550a550a7e99f301e51bd84e13d14 /src/server/scripts | |
| parent | d8e12d826c300704d027970a93c5943798be8186 (diff) | |
CI/Travis: Upgrade to Ubuntu 18.04
Diffstat (limited to 'src/server/scripts')
0 files changed, 0 insertions, 0 deletions