commit | e2eb43fd9739aababa266bb0435d4dead1857210 | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Wed Mar 16 10:51:03 2016 -0700 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Wed Mar 16 10:51:03 2016 -0700 |
tree | b38032dc3a6d4b2f615ee90a631c514ab9f42a8b | |
parent | faab1ba1c0fe2ca6df106503dbebc68585624a7d [diff] |
v.io/jiri: refactor to move DataDir out of jiri, part 1. jiri project poll is moved into jiri-test poll jiri contributors is moved into an external command jiri-contributors Change-Id: I9a63717cb6cc41b70cf8af3eeae95aecd363fefc
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.