projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ffca138 d92f3da)
Merge pull request #141 from antonblanchard/update-dependencies.py
authorAnton Blanchard <anton@linux.ibm.com>
Tue, 21 Jan 2020 00:11:30 +0000 (11:11 +1100)
committerGitHub <noreply@github.com>
Tue, 21 Jan 2020 00:11:30 +0000 (11:11 +1100)
Improve dependencies.py and add a --synth option


Trivial merge