commit | c33db4b34d7b66461bc51f598e76429b35ddfbcc | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Fri Apr 08 22:31:23 2016 -0700 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Tue Apr 12 22:57:34 2016 +0000 |
tree | ccd559167d4d5095decb3fcae6e3661b7860144b | |
parent | 77a594e425c4d8c3cef3a1a698e18bcf03be9391 [diff] |
v.io/jiri: move default value for --profiles out of core jiri packages. MultiPart: 2/2 Change-Id: I36d7b39b37442a796e54022c44b5298951a94674
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.