commit | 10afa6568093766686336d02b0086df3d0740588 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Wed Mar 16 10:58:22 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Wed Mar 16 10:58:56 2016 -0700 |
tree | 0f916fb5c5d4053df02bea6d06f843e456f5fdf4 | |
parent | faab1ba1c0fe2ca6df106503dbebc68585624a7d [diff] |
TBR: devtools/jiri-test: use the last part of snapshot manifest as the version string. PresubmitTest: none Change-Id: I50f3269969e5c5452c06afb068dc0ebeef737031
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.