From 3ea8d2766af988a82855651cec85593628c324a6 Mon Sep 17 00:00:00 2001 From: Vojtech Mares Date: Sat, 10 Sep 2022 16:20:08 +0200 Subject: [PATCH] docs: make copy-docs.sh executable --- docs/scripts/copy-docs.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 docs/scripts/copy-docs.sh diff --git a/docs/scripts/copy-docs.sh b/docs/scripts/copy-docs.sh old mode 100644 new mode 100755