commit | bd0f1eb2ba425f3bc92fc6363720628672a0a0de | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 01 12:48:05 2016 -0800 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 01 12:48:05 2016 -0800 |
tree | 0756954ed04feb2a7d044cf2e53ef12deb7b6ef3 | |
parent | f37524e2eec254270706890e2cd1479d900b640a [diff] |
devtools: v.io/jiri: move v.io/jiri/jiri to v.io/jiri MultiPart: 2/5 Change-Id: I74fc1acae2c73ec88f58609b464bdb3d98824f22
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.