From 343f70f02c75d30909082379c915b96d0cb7f9d0 Mon Sep 17 00:00:00 2001 From: rusefillc Date: Fri, 16 Feb 2024 18:05:28 -0500 Subject: [PATCH] not sure if any value in those .bat files --- misc/jenkins/build_java_console.bat | 2 -- misc/jenkins/build_working_folder.bat | 2 -- 2 files changed, 4 deletions(-) delete mode 100644 misc/jenkins/build_java_console.bat delete mode 100644 misc/jenkins/build_working_folder.bat diff --git a/misc/jenkins/build_java_console.bat b/misc/jenkins/build_java_console.bat deleted file mode 100644 index c62b94200f..0000000000 --- a/misc/jenkins/build_java_console.bat +++ /dev/null @@ -1,2 +0,0 @@ -@echo off -sh.exe misc\jenkins\build_java_console.sh diff --git a/misc/jenkins/build_working_folder.bat b/misc/jenkins/build_working_folder.bat deleted file mode 100644 index 57267e2370..0000000000 --- a/misc/jenkins/build_working_folder.bat +++ /dev/null @@ -1,2 +0,0 @@ -@echo off -sh.exe build_working_folder.sh