diff options
| author | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2016-08-12 11:47:01 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2016-08-12 11:47:01 +0900 |
| commit | db0a021bacb538de435cbd983779e414c5ca8f24 (patch) | |
| tree | 7fec21b527b415b06dc66c4d36a0ae230864133b /tools/completion | |
| parent | 3a3086c1f4ad70cd1190c44158b1bd47b0509976 (diff) | |
travis: use the old version of docker (1.8.3)
Seems that the latest often fails for some reasons.
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'tools/completion')
0 files changed, 0 insertions, 0 deletions