From 687ca21b8881e2e216dd646b6557d2bb2f4798f5 Mon Sep 17 00:00:00 2001 From: Nicholas Nezis Date: Mon, 3 Feb 2020 16:48:21 +0000 Subject: [PATCH] Added execute permission to dev-env-create.sh --- docker/scripts/dev-env-create.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 docker/scripts/dev-env-create.sh diff --git a/docker/scripts/dev-env-create.sh b/docker/scripts/dev-env-create.sh old mode 100644 new mode 100755