From 27862666c7681f261f855027370955707d0455d5 Mon Sep 17 00:00:00 2001 From: Simon Podlipsky Date: Tue, 25 Feb 2020 23:43:41 +0100 Subject: [PATCH] Add execute permissions on update.sh --- generator/doc/update.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 generator/doc/update.sh diff --git a/generator/doc/update.sh b/generator/doc/update.sh old mode 100644 new mode 100755