commit | f1b3b04f2e03c1378efdfcc32913e3699ea86b70 | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Sat Mar 19 00:25:41 2016 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Sat Mar 19 00:25:41 2016 +0000 |
tree | 18359718ecb060e8100d7e8191b54dc8e6ad2419 | |
parent | d273cafb6826a6a83311b9b861e01064bd2d378d [diff] | |
parent | 4c9b6abb529e7425831b3829d3a2280f03f56743 [diff] |
Merge "v.io/jiri: make jiri project info usable from outside of a project."
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.