commit | 46ebbcafbcadf39a020340e46aaf6b06c397ee21 | [log] [tgz] |
---|---|---|
author | Robin Thellend <rthellend@google.com> | Tue Mar 29 09:43:16 2016 -0700 |
committer | Robin Thellend <rthellend@google.com> | Tue Mar 29 17:06:13 2016 +0000 |
tree | 111bd1d4e2e2e70adf6d4949fb1d1cb91a55322b | |
parent | 545bea5c9f95dc576092f226161eed183de0811d [diff] |
vmon: Remove applications and binaries We are no longer running them in production. Change-Id: Ic6189c98becb5f51e6ad182298d9d9b3588ec9cc
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.