commit | 06d538db0495a692c4fa2a3e969c7efa34efbb44 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Thu May 05 10:33:50 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Thu May 05 10:34:10 2016 -0700 |
tree | 3ed971bd0708bb7bd85e8050f340fa05c3755151 | |
parent | 8fa1c854ffe74155fb92b310da414757fbfdcaa1 [diff] |
TBR: jiri-test: exclude more third-party tests. PresubmitTest: none Change-Id: I4793aa66dcdb16dd062a239d24c0db8fc514dbc4
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.