Add a script for installing various tools

Christian Rochacommitted parent 0d95b7f4ed37613af760b578bcca8c78ec4f67f2a8c5a02Browse files
3 files changed+14−70

Rendering diff…