From 41f7110e5e3e9ce2bb28eb0c193d4de2861d1091 Mon Sep 17 00:00:00 2001 From: Simon Rit Date: Thu, 6 Jun 2013 18:12:20 +0200 Subject: [PATCH] Allow execution --- tools/make_new_tool.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/make_new_tool.sh diff --git a/tools/make_new_tool.sh b/tools/make_new_tool.sh old mode 100644 new mode 100755 -- 2.47.1