diff options
author | Gary Wu <gary.i.wu@huawei.com> | 2017-06-20 10:07:51 -0700 |
---|---|---|
committer | Gary Wu <gary.i.wu@huawei.com> | 2017-06-20 10:08:18 -0700 |
commit | f5cd892f130bd6a8d0cdf44d705b966c3cee3499 (patch) | |
tree | aa9ae529f49c2f9299b294063dbf891b03f4a83b /bootstrap/jenkins/vagrant/jenkins_jobs.ini | |
parent | 63c4c7b6b0f07f4b20cd85892eb6e0f33861fc29 (diff) |
Remove pre-pulling of 3rd party docker images
Change-Id: Ia7b7c8d2272d71c5d95dcd66ada8afe44f2577d3
Signed-off-by: Gary Wu <gary.i.wu@huawei.com>
Diffstat (limited to 'bootstrap/jenkins/vagrant/jenkins_jobs.ini')
0 files changed, 0 insertions, 0 deletions