commit | 3fd0b0401a28db37c0d4d9d53e92b2d742842be6 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Tue Feb 23 16:54:17 2016 -0800 |
committer | Jing Jin <jingjin@google.com> | Tue Feb 23 16:54:50 2016 -0800 |
tree | eea44d66c55f05cc8ad83ddc6f8ee6309e6e8595 | |
parent | 794f14846c48b8667bdb6b2bd9f3381b3b9411e4 [diff] |
TBR: devtools/dashboard: fix backwards compatibility. PresubmitTest: none Change-Id: Ice9f5e58acbb135c740c4db4dd4468a7c0e8b9ce
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.