From 85d3ce529e149b75321f7bfdb76081195be14610 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ond=C5=99ej=20Samohel?= Date: Fri, 21 May 2021 13:04:18 +0200 Subject: [PATCH] set shell script executable --- tools/run_projectmanager.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/run_projectmanager.sh diff --git a/tools/run_projectmanager.sh b/tools/run_projectmanager.sh old mode 100644 new mode 100755