commit | a422aea9e0ffd42404ab19dcee34ed3d42f0c722 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Tue May 03 16:11:51 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Tue May 03 16:12:27 2016 -0700 |
tree | d8cf9752555e5813fe84ddd8aadfa83f0c4eb83e | |
parent | 389d139f67be7f2c27e6cef5adca8c99070f2e40 [diff] |
TBR: oncall: add benchmark to the dashboard. PresubmitTest: none Change-Id: Ice651efd615fa27d73265f59d7e90f4d9a0dfe6e
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.