commit | a9a5471527d37b5b7aad30a5a621282fcfa9183d | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Wed Feb 24 16:08:20 2016 -0800 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Wed Feb 24 16:08:20 2016 -0800 |
tree | f004a86b4b3f5a4110a311c1279bebed114c8cae | |
parent | 613b05d3e03297aed3985b3c9d9c41e2b8aa0833 [diff] |
v.io/jiri/profiles: transition and fix profile list command to new profiles. MultiPart: 2/3 Change-Id: I54f7313ab4ee72f5bd8ee20d9593a0d18428de8f
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.