commit | 53708dc28dbfb436128a41b65b59ef4925267bca | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Tue Feb 23 17:02:59 2016 -0800 |
committer | Jing Jin <jingjin@google.com> | Tue Feb 23 17:03:17 2016 -0800 |
tree | 1c83137b180186c3365859cacc3519b4fdce1ba9 | |
parent | 3fd0b0401a28db37c0d4d9d53e92b2d742842be6 [diff] |
TBR: devtools/dashboard: cleanup files properly PresubmitTest: none Change-Id: I8a757b18e2ed98df2bcf8d8d92f2396b47b27265
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.