From 5a4d57a28f5f7bbc049afdd6259da896252c2053 Mon Sep 17 00:00:00 2001 From: chriseth Date: Tue, 2 Aug 2016 11:17:11 +0200 Subject: Make docs script executable. --- scripts/docs.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/docs.sh (limited to 'scripts/docs.sh') diff --git a/scripts/docs.sh b/scripts/docs.sh old mode 100644 new mode 100755 -- cgit