From 32120e5bbc198b4f49a954c3d0316bf2ec279e97 Mon Sep 17 00:00:00 2001 From: Daniel Rudolf Date: Wed, 25 Nov 2015 21:02:43 +0100 Subject: [PATCH] Fix build/generate-phpdoc.sh permissions --- build/generate-phpdoc.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 build/generate-phpdoc.sh diff --git a/build/generate-phpdoc.sh b/build/generate-phpdoc.sh old mode 100644 new mode 100755