diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-06-11 22:19:12 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2016-06-11 22:19:12 +0300 |
| commit | e17646d427bc5c56836b178bcdb5ba6cd34217f4 (patch) | |
| tree | f61940230763a854c28cb0ae4a82ce2906126e3e /tools/ci/scripts/deheader.sh | |
| parent | f791f3b8ec8f784c4c04249d4b5e3fba87751829 (diff) | |
| download | plus-e17646d427bc5c56836b178bcdb5ba6cd34217f4.tar.gz plus-e17646d427bc5c56836b178bcdb5ba6cd34217f4.tar.bz2 plus-e17646d427bc5c56836b178bcdb5ba6cd34217f4.tar.xz plus-e17646d427bc5c56836b178bcdb5ba6cd34217f4.zip | |
In ci scripts use local debian mirror if run on local runner.
Diffstat (limited to 'tools/ci/scripts/deheader.sh')
0 files changed, 0 insertions, 0 deletions