commit | 239b6799be7b3da1ba7249442c06802453686c92 | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Fri Apr 08 14:53:52 2016 -0700 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Mon Apr 11 20:54:03 2016 +0000 |
tree | 25637b64a21620e114d752003303f9fe726509f0 | |
parent | 0d63b6f839e6b5f3a91c2910b5b0d7e796ba4272 [diff] |
v.io/x/devtools: remove unusued jiri-v23-profile subcommand. Change-Id: Ieab9085f706108e6476f3973eb69909b6051be62
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.