From 7c4831c3f8cc6ef1f6a432a384b72368bd7ad830 Mon Sep 17 00:00:00 2001 From: john30 Date: Sat, 4 Feb 2017 13:15:35 +0100 Subject: [PATCH] chmod --- contrib/docker/build.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 contrib/docker/build.sh diff --git a/contrib/docker/build.sh b/contrib/docker/build.sh old mode 100644 new mode 100755