commit | 8ed9e9122cddb4f8a019706055dbe01a00a875fb | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 29 15:37:07 2016 -0700 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Tue Mar 29 23:42:20 2016 +0000 |
tree | f7cd70203ec1dbb6165048504d34acdeb3d40835 | |
parent | db4908a68c837c45c96c47d49a83a6aaee0d681c [diff] |
v.io/x/devtools/data: remove this, the config now lives in tooldata/data. Change-Id: I5ece86f8ebec0ad50480ee7856b1c0dcc4cef8bf
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.