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)
commitd1643443d6d5c3185e8db4a4e91dc1ba0d377fda
tree910c9d09810b21861bfb2005fd848733d6a8b13a
parentffca138b78ebed796495bc1160260a18247e190e
parentd92f3da6060ace540d029e0c45cebcc4edf6df1c
Merge pull request #141 from antonblanchard/update-dependencies.py

Improve dependencies.py and add a --synth option