diff options
author | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2014-12-25 07:15:41 +0900 |
---|---|---|
committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2014-12-25 07:15:41 +0900 |
commit | 03640f3f1d9b9f1b3b3d2d0dce07eaa4f4da8096 (patch) | |
tree | cf2943152298cb3bbad890cba75f396803899404 /utils | |
parent | f5bb9841549a023662bfcf7f85d634ca0012b48d (diff) |
tools: use docker --rm option
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions