commit | 256ad640adc90a0ff7bcb582b5c69225994b56c5 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Fri Feb 19 16:08:59 2016 -0800 |
committer | Jing Jin <jingjin@google.com> | Fri Feb 19 16:09:23 2016 -0800 |
tree | b4d2d58470db3a4bfd95937a4231123e3c9e3e30 | |
parent | 23aa8eea7b3d5471625b6c996f1061aae0b147f4 [diff] |
devtools/presubmit: update dashboard link to point to the new location. Change-Id: Ifd9499694d63663fa4f8e3098179d0d390e1f271
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.