1 files changed, 0 insertions, 10 deletions
diff --git a/tools/with_venv.sh b/tools/with_venv.sh
deleted file mode 100755
index e6e44f5..0000000
--- a/tools/with_venv.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-
-command -v tox > /dev/null 2>&1
-if [ $? -ne 0 ]; then
-  echo 'This script requires "tox" to run.'
-  echo 'You can install it with "pip install tox".'
-  exit 1; 
-fi
-
-tox -evenv -- $@