From 477ce177f4b3f2e877de0ca3f0b6bc0f86b98b3d Mon Sep 17 00:00:00 2001 From: rusefillc Date: Tue, 16 Aug 2022 19:34:19 -0400 Subject: [PATCH] +x --- misc/jenkins/compile_other_versions/compile.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 misc/jenkins/compile_other_versions/compile.sh diff --git a/misc/jenkins/compile_other_versions/compile.sh b/misc/jenkins/compile_other_versions/compile.sh old mode 100644 new mode 100755