diff --git a/Vagrantfile b/Vagrantfile index 3b9d4dc3a..678abdf72 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -8,7 +8,7 @@ VAGRANTFILE_API_VERSION = "2" $ubuntu_setup_script = <&1 | cut -d" " -f 2 | cut -d. -f1,2 | sed 's/\.//'` if [ $PYVER -eq 26 ] ; then diff --git a/bootstrap/dev/_venv_common.sh b/tools/_venv_common.sh similarity index 100% rename from bootstrap/dev/_venv_common.sh rename to tools/_venv_common.sh diff --git a/bootstrap/dev/venv.sh b/tools/venv.sh similarity index 100% rename from bootstrap/dev/venv.sh rename to tools/venv.sh diff --git a/bootstrap/dev/venv3.sh b/tools/venv3.sh similarity index 100% rename from bootstrap/dev/venv3.sh rename to tools/venv3.sh