Renamed tools to devtools

24d0b3b3 · Peter Eastman · 039b53b8 · 24d0b3b3 · 24d0b3b3 · 24d0b3b3
Commit 24d0b3b3 authored Jul 21, 2014 by Peter Eastman
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