diff options
author | Bjørn Christian Seime <bjorn.christian@seime.no> | 2017-06-13 15:26:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-13 15:26:37 +0200 |
commit | 76221b9e73ad7a76a8179663e638b545a470c325 (patch) | |
tree | 7289733009b6db20ac77a67d25d6d84087fc18b6 /config-provisioning/src/main | |
parent | 906e8a650e14870b8169f694ba783ad564cf4c60 (diff) | |
parent | 7b2f2478230c7dbe31bebf20cdd279889b6c1ddd (diff) |
Merge pull request #2739 from yahoo/bjorncs/docker-ci
Cleanup container on exit
Diffstat (limited to 'config-provisioning/src/main')
0 files changed, 0 insertions, 0 deletions