commit | 1fb9b50695ec17a5677abde176c7560f06623c87 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Thu Mar 24 13:54:02 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Thu Mar 24 13:54:32 2016 -0700 |
tree | f077f03f498d868c5d8506c8d0e149ea6f14ebef | |
parent | b60490d9e12c44716e0db5df4af21504da737384 [diff] |
TBR: devtools/vbinary: use the correct timeout value for client creation. PresubmitTest: none Change-Id: If9812835f8f2c61fefcae9056a9e9655f258dbe0
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.