From 2fc6f6e619dee6b67b8614f0483c68edf6b335b3 Mon Sep 17 00:00:00 2001
From: Brad Warren <bmw@users.noreply.github.com>
Date: Tue, 23 Jul 2019 01:32:43 -0700
Subject: [PATCH] Make deploy.sh executable. (#3)

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

diff --git a/tools/docker/deploy.sh b/tools/docker/deploy.sh
old mode 100644
new mode 100755