projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 21a40c2 c18830a)
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)
Add an option to use Docker


Trivial merge