commit | 3e60c9e57c1e3c7aeba131a66227ff6afda00ca6 | [log] [tgz] |
---|---|---|
author | Ali Ghassemi <aghassemi@google.com> | Thu Mar 31 17:18:23 2016 -0700 |
committer | Ali Ghassemi <aghassemi@google.com> | Thu Mar 31 17:18:23 2016 -0700 |
tree | 245f24447647f5df618f940f9462c88a6d9242a1 | |
parent | 922c647a382b7417cda0abdde40d7a051400bd5c [diff] |
x/devtools: mojo profile 11 MultiPart: 1/3 Change-Id: Ib1d382dfd4e8a90174ac78160ccd6c408dec11a0
This repository contains developer tools used to install and contribute to Vanadium.
For more information, see the installation and contributing instructions.
This repository is fetched and the tools are built as part of the Vanadium installation process for contributors.