commit | 175c3924ac16d6a645ead2dd344bf484e05fb31d | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Wed Mar 09 10:23:12 2016 -0800 |
committer | Jing Jin <jingjin@google.com> | Wed Mar 09 10:23:12 2016 -0800 |
tree | 02a8d9c9de0a23ea26bd5021ebc1590985085422 | |
parent | 00d168a4d40683a3dd79aa32dc5689c435dc7d81 [diff] |
devtools/jiri-test: add meta-test for production release. Change-Id: Iae3eeadb150a6fa1ed32b5aef38ef497f6c5c5a5
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.