commit | 1d8754945473304793cde5a8a6a587ffdd2a2544 | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Tue Mar 15 15:27:15 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Tue Mar 15 15:27:15 2016 -0700 |
tree | d49748fa35eacea935bbc31683d29231e90b1581 | |
parent | 1dd03159b9e9c2639193e72a885855b79699e1a0 [diff] |
TBR: devtools/jiri-test: always use -with-passphrase=false in prod service test. This way we can test this in a terminal environment. PresubmitTest: none Change-Id: I173da710830d9481056be8bec214032c46bbe836
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.