diff options
| author | Andrei Karas <akaras@inbox.ru> | 2019-05-15 23:33:29 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2019-05-15 23:33:29 +0300 |
| commit | 0b1c515d931b48116125a851b8dbe5c72c2dc3d0 (patch) | |
| tree | 077f8f5c2c3f4472fc365a286d0376ea3ff0d789 /tools/ci/scripts/deheader.sh | |
| parent | 65fbf2095e5bfb4735a19e1cf342c3b5abf58991 (diff) | |
| download | plus-0b1c515d931b48116125a851b8dbe5c72c2dc3d0.tar.gz plus-0b1c515d931b48116125a851b8dbe5c72c2dc3d0.tar.bz2 plus-0b1c515d931b48116125a851b8dbe5c72c2dc3d0.tar.xz plus-0b1c515d931b48116125a851b8dbe5c72c2dc3d0.zip | |
Switch to bionic in deheader ci builds
Diffstat (limited to 'tools/ci/scripts/deheader.sh')
0 files changed, 0 insertions, 0 deletions