commit | ad31e4ece697b193b698b236269a51a5a0fa765f | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Tue May 03 14:33:03 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Tue May 03 14:33:30 2016 -0700 |
tree | 0d4102b7550feeffc8e6842966a467e3d6492f3e | |
parent | 565800df9f54c8d01f10c5b5c4d77ffe3c9578f1 [diff] |
TBR: oncall: use the correct namespace id. PresubmitTest: none Change-Id: Ibc23b7552600ed0bc09a2379073d28fe027ecf30
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.