commit | 794f14846c48b8667bdb6b2bd9f3381b3b9411e4 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Tue Feb 23 16:17:34 2016 -0800 |
committer | Jing Jin <jingjin@google.com> | Tue Feb 23 16:23:13 2016 -0800 |
tree | b18b9313f34b19ba88c9692d1569c86c5e250675 | |
parent | 28b0a0e489a2740d5b11bb735c8e196a49571419 [diff] |
TBR: devtools/dashboard: fix path. PresubmitTest: none Change-Id: If0a9ccc9067ca680aac3ec05181b778303428662
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.