commit | b015d28c590494bd2548cbc2d9d583547cddad11 | [log] [tgz] |
---|---|---|
author | Matt Rosencrantz <mattr@google.com> | Wed Mar 09 18:44:20 2016 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Mar 09 18:44:20 2016 +0000 |
tree | d14a7649d30636ed86575f60b13fe646a6c1518f | |
parent | e914630841d569abc1cacc65a8ec7eaffdba5417 [diff] | |
parent | 0fcb5bf18da5ff691f60efb8213cd61f604fd29f [diff] |
Merge "android profile: Create a new v8 which installs the android platform tools and make it default."
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.