commit | d8cfe16d5fb3f55bf5f4973e3866e7513b572d92 | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Sat Mar 12 12:56:38 2016 -0800 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Sat Mar 12 12:56:38 2016 -0800 |
tree | 6171b8df5f4c1bdfaaeda080a6319d5caf679892 | |
parent | 85d3175a06a69fa9e21753a9b7f7c76b85fe18a1 [diff] |
v.io/jiri: remove support for old style profiles MultiPart: 2/2 Change-Id: I8f4e015e6ee1382737200fc26c1118e7d8d0f675
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.