diff options
Diffstat (limited to 'run_continuous.bat')
-rw-r--r-- | run_continuous.bat | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/run_continuous.bat b/run_continuous.bat deleted file mode 100644 index 812aa01c1..000000000 --- a/run_continuous.bat +++ /dev/null @@ -1,3 +0,0 @@ -@echo off -set argument=--continuous -call run.bat %argument% |