Merge pull request #143 from antonblanchard/use-docker
authorAnton Blanchard <anton@linux.ibm.com>
Tue, 21 Jan 2020 02:20:23 +0000 (13:20 +1100)
committerGitHub <noreply@github.com>
Tue, 21 Jan 2020 02:20:23 +0000 (13:20 +1100)
commitd1166e9c2644fe498ac1e698bf4ede5357c8976e
tree897bf7378800eb9b07f2d3c26fb299bc62fe83d0
parent21a40c2ba62d95212df173fa56aa11c22b08b422
parentc18830a5e5188cb662a02f52aea84ba8412be375
Merge pull request #143 from antonblanchard/use-docker

Add an option to use Docker