From 920234f69910ed07b07e4d0bfcf5f8983db072ea 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