From 697f2779402d384de5d3e1c8c76c2ba1977c522c Mon Sep 17 00:00:00 2001 From: rusefi Date: Tue, 12 Feb 2019 20:20:02 -0500 Subject: [PATCH] jenkins --- misc/jenkins/compile_other_versions/{run.job => run.bat} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename misc/jenkins/compile_other_versions/{run.job => run.bat} (100%) diff --git a/misc/jenkins/compile_other_versions/run.job b/misc/jenkins/compile_other_versions/run.bat similarity index 100% rename from misc/jenkins/compile_other_versions/run.job rename to misc/jenkins/compile_other_versions/run.bat