commit | 90a6b266b8aa682fcd4bef58f887c51e15a57210 | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Fri Apr 22 10:47:44 2016 -0700 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Fri Apr 22 10:48:03 2016 -0700 |
tree | 615d49bf99fa8d0bcbbe7e5d83489aca229a8768 | |
parent | 1e81036ef79d116f25c485e906e79f847f3b1897 [diff] |
TBR: v.io/x/devtools: fix jenkins. Change-Id: Ic0fe4c3e9e4bd5f60d70b4a4f4c3a974fa69a438
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.