From 9712ae2a97dc9adb52f029631669f1367328a91b Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Mon, 23 Nov 2015 21:52:23 +0100
Subject: [PATCH] Fix permissions of build/deploy-phpdoc.sh

---
 build/deploy-phpdoc.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 build/deploy-phpdoc.sh

diff --git a/build/deploy-phpdoc.sh b/build/deploy-phpdoc.sh
old mode 100644
new mode 100755