From 9cc88b7d6a70d12fe11678d2038af2dfe374a193 Mon Sep 17 00:00:00 2001 From: markjcrane Date: Wed, 7 Mar 2018 17:29:53 +0000 Subject: [PATCH] update permissions --- debian/resources/upgrade/php.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 debian/resources/upgrade/php.sh diff --git a/debian/resources/upgrade/php.sh b/debian/resources/upgrade/php.sh old mode 100644 new mode 100755