diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-06-22 22:53:01 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2016-06-22 22:53:01 +0300 |
| commit | c4472f8f77e6ea4bdf82440d93d98a04d3d8630e (patch) | |
| tree | 010a2eabf496e0e4958bb62af081a20cf6d4e6d4 /tools/ci/jobs/deheader2.sh | |
| parent | bf2638206182dc22d3df78c9b45c0389a7e1bb84 (diff) | |
| download | plus-c4472f8f77e6ea4bdf82440d93d98a04d3d8630e.tar.gz plus-c4472f8f77e6ea4bdf82440d93d98a04d3d8630e.tar.bz2 plus-c4472f8f77e6ea4bdf82440d93d98a04d3d8630e.tar.xz plus-c4472f8f77e6ea4bdf82440d93d98a04d3d8630e.zip | |
Use docker runner for gcc 4.7
Diffstat (limited to 'tools/ci/jobs/deheader2.sh')
0 files changed, 0 insertions, 0 deletions