From 306c2d98844ee332f4a2f61b1a95a825f67d7004 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 2 Oct 2022 10:48:35 +0200 Subject: [PATCH] make build script executable --- .ci/build_document.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 .ci/build_document.sh diff --git a/.ci/build_document.sh b/.ci/build_document.sh old mode 100644 new mode 100755