commit | bcbc8bceacce83a039bc2af9dd92ac149c48f573 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Tue Mar 22 17:26:00 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Tue Mar 22 17:26:32 2016 -0700 |
tree | f6201ddcec459db025adb9ab0f938c73a88131c2 | |
parent | f5c5b5a0c6b0e750b2e6b5d04270495518493c95 [diff] |
devtools/vbinary: increase retry attempts and interval for client creation. Change-Id: I2bc4d13265d275dc066bca48ebdec6b084bfb570
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.