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 /predicate-search-core | |
| parent | 906e8a650e14870b8169f694ba783ad564cf4c60 (diff) | |
| parent | 7b2f2478230c7dbe31bebf20cdd279889b6c1ddd (diff) | |
Merge pull request #2739 from yahoo/bjorncs/docker-ci
Cleanup container on exit
Diffstat (limited to 'predicate-search-core')
0 files changed, 0 insertions, 0 deletions