diff options
Diffstat (limited to '')
| -rw-r--r-- | devscripts/run_tests.bat | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/devscripts/run_tests.bat b/devscripts/run_tests.bat deleted file mode 100644 index 57b1f4b..0000000 --- a/devscripts/run_tests.bat +++ /dev/null @@ -1,4 +0,0 @@ -@echo off - ->&2 echo run_tests.bat is deprecated. Please use `devscripts/run_tests.py` instead -python %~dp0run_tests.py %~1 |