From 1a3bd7eb73cd3e183ca4219eb740ce3e71469596 Mon Sep 17 00:00:00 2001 From: Bruno Date: Wed, 25 Jul 2018 12:58:01 -0300 Subject: [PATCH] Fix deploy-docs step in CircleCI --- scripts/deploy-docs.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/deploy-docs.sh diff --git a/scripts/deploy-docs.sh b/scripts/deploy-docs.sh old mode 100644 new mode 100755