Merge pull request #551 from peastman/master

Renamed tools to devtools

Merge pull request #551 from peastman/master
Renamed tools to devtools
f7127d33 · peastman · 2a2fae31 · 24d0b3b3 · f7127d33 · f7127d33
Commit f7127d33 authored Jul 21, 2014 by peastman
7 changed files
--- a/tools/ci/after_success.sh
+++ b/tools/ci/after_success.sh
--- a/tools/ci/install.sh
+++ b/tools/ci/install.sh
--- a/tools/ci/requirements-conda.txt
+++ b/tools/ci/requirements-conda.txt
--- a/tools/conda-recipe/README.md
+++ b/tools/conda-recipe/README.md
--- a/tools/conda-recipe/build.sh
+++ b/tools/conda-recipe/build.sh
--- a/tools/conda-recipe/meta.yaml
+++ b/tools/conda-recipe/meta.yaml
--- a/tools/conda-recipe/plugin-dir.patch
+++ b/tools/conda-recipe/plugin-dir.patch