commit | 8fa1c854ffe74155fb92b310da414757fbfdcaa1 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Wed May 04 17:02:29 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Wed May 04 17:02:55 2016 -0700 |
tree | a1bfa2bdc0fe45d1700e8b14851d7b654d7514cf | |
parent | 8b5adf8d16cddee3f683af32ac3f9e327517f05e [diff] |
TBR: jiri-test: exclude some third-party tests. PresubmitTest: none Change-Id: I5202a861efa5eda023c7df42bd6740f33b92dd0c
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.