commit | 634af95a8bb772b56a40f5b1ea7c1cedc2356422 | [log] [tgz] |
---|---|---|
author | Razvan Musaloiu-E <razvanm@google.com> | Thu Feb 18 16:00:38 2016 -0800 |
committer | Razvan Musaloiu-E. <razvanm@google.com> | Fri Feb 19 00:28:50 2016 +0000 |
tree | c06b672fb71a35977e0af488b4009fc0c8d6c6cc | |
parent | ab9117b6e2be5476edec092828c724c491ba3ec0 [diff] |
devtools: Remove the .Done also from the Terraform profile This also improves the error reporting to include the names of the files involved. Change-Id: I170fea6201fa5effb7fb8f3ac15bf747443372c6
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.