From 3a283b977d70ae485633a6ee7452389e4b0f1a18 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Arturo=20Filast=C3=B2?= Date: Thu, 4 Jul 2024 20:38:42 +0200 Subject: [PATCH] Add +x to build_docs --- script/build_docs.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 script/build_docs.sh diff --git a/script/build_docs.sh b/script/build_docs.sh old mode 100644 new mode 100755