diff options
| author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2019-07-12 14:49:42 +0200 |
|---|---|---|
| committer | Giacomo Pozzoni <giacomopoz@gmail.com> | 2019-07-12 14:49:42 +0200 |
| commit | 6dfb4fde07082498a264ca0802ebdeb0bf3fa994 (patch) | |
| tree | 3513a06eacd94fe4fdd330f090e8a27130d7d716 /src | |
| parent | 8e96e4f7ada6f35861b406b7274a75652ce4cd03 (diff) | |
CI/CircleCI: Switch to Ubuntu 18.10
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions