commit | 0fdbe20e8668824d6ee969e8672ef6a6b44386c9 | [log] [tgz] |
---|---|---|
author | Razvan Musaloiu-E. <razvanm@google.com> | Thu Feb 18 22:23:12 2016 +0000 |
committer | Razvan Musaloiu-E. <razvanm@google.com> | Thu Feb 18 22:27:49 2016 +0000 |
tree | 1f21417bbd5fa43c99d06f9282e2af2b8a1641ea | |
parent | f693d4ea2480cc50789f5faa9693def047dac562 [diff] |
TBR: Revert "devtools: Add a .Done for some defered jirix.NewSeq().RemoveAll()" This reverts commit 5981c9f38b494351d9b6b42355b81b53ff3c06c6. Change-Id: I73e07045b34ac208f1dd13a5b36622cad5fc53a5
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.