From 2678000d6811cc8c31323b7346772e7dbd00ba8e Mon Sep 17 00:00:00 2001 From: Davide Alberani Date: Fri, 26 Jan 2018 13:12:53 +0100 Subject: [PATCH] update file permission --- run-docker.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 run-docker.sh diff --git a/run-docker.sh b/run-docker.sh old mode 100644 new mode 100755