From a0743e7d455e8e2e771bf834301e730f81d999a5 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Thu, 30 May 2024 05:10:24 +0200 Subject: Merging upstream version 2024.05.26. Signed-off-by: Daniel Baumann --- devscripts/run_tests.bat | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 devscripts/run_tests.bat (limited to 'devscripts/run_tests.bat') 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 -- cgit v1.2.3