diff options
author | 2015-08-25 09:27:10 -0700 | |
---|---|---|
committer | 2015-08-25 09:27:10 -0700 | |
commit | 43fef09aecaa81a9e16e2b7ecc5598c223051f15 (patch) | |
tree | 16f4a87486839b8d3c29d06b2eac5c2a790cf4a7 /doc/ref/core.internal/html/structgpr__slice.html | |
parent | 03d281ab1b59185959afff7621d69a9b77387cfa (diff) |
Don't fail a build on failure to kill a docker instance
It's quite ok for a docker instance to already be dead.
Diffstat (limited to 'doc/ref/core.internal/html/structgpr__slice.html')
0 files changed, 0 insertions, 0 deletions