From 927ad28abb0390e26f53eccb97d3b181b115309f Mon Sep 17 00:00:00 2001 From: David Beniamine <david.beniamine@tetras-libre.fr> Date: Mon, 22 Jul 2019 11:45:23 +0200 Subject: [PATCH] Make script executable --- configure_base_tools.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 configure_base_tools.sh diff --git a/configure_base_tools.sh b/configure_base_tools.sh old mode 100644 new mode 100755 -- GitLab