commit | 051d30172ff9b6e31b2a212ee28862710441d2cb | [log] [tgz] |
---|---|---|
author | Ali Ghassemi <aghassemi@google.com> | Thu Apr 14 15:40:10 2016 -0700 |
committer | Ali Ghassemi <aghassemi@google.com> | Fri Apr 15 17:03:40 2016 +0000 |
tree | c498c00bcbd16acceb7a41defd259453b7aef50c | |
parent | 6161d88a77b620c9c495ed07c8cd9dafa18289a9 [diff] |
x/devtools: mojo profile 12. Seems to have fixed the flaky apptests for discovery on local. Let's run presubmit on this bunch of times before submitting. May close https://github.com/vanadium/issues/issues/1278 Change-Id: Ife88443865982b2c60bdcccab2c1016c38b422ab
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.