commit | 7bf2b30787e3cbe9f9294808ed05d050a8db6304 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Mon Mar 14 15:21:39 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Mon Mar 14 15:21:57 2016 -0700 |
tree | 89bd4d5f7675121bbbb67f3e2411a8070671ea36 | |
parent | 5a39c7d7a56e5f311332d668ba979f7a72cd57aa [diff] |
TBR: devtools/jiri-test/release: fix profile name PresubmitTest: none Change-Id: I3d43bb94c85bbc7b31c1290f4230086608367ae7
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.