commit | 22fd84b2c801db4dea2f369d2c5f26f8c6945385 | [log] [tgz] |
---|---|---|
author | Razvan Musaloiu-E <razvanm@google.com> | Tue May 17 13:13:54 2016 -0700 |
committer | Razvan Musaloiu-E <razvanm@google.com> | Tue May 17 13:13:54 2016 -0700 |
tree | fbc8656e4ac7d29305d41ac6766a133662c9fde3 | |
parent | b06b0b2bd5da92590dac13db9b723e17209f8042 [diff] |
devtools: Remove the release.java.syncbase related bits. This is a rollback of https://v.io/c/22447. Change-Id: I16419c836a139e6088d7554290ca97b224b13122
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.