From 1829bd82d26cb66bdc0154d9a5d08ef31c12a1fd Mon Sep 17 00:00:00 2001 From: Sanne Raymaekers Date: Tue, 27 Oct 2020 18:08:32 +0100 Subject: [PATCH] tools: Make make-bots executable --- tools/make-bots | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/make-bots diff --git a/tools/make-bots b/tools/make-bots old mode 100644 new mode 100755