From b8d6d0403c2798fe83d032deb7bab91574026649 Mon Sep 17 00:00:00 2001 From: David Runge Date: Wed, 10 Oct 2018 11:13:24 +0200 Subject: [PATCH] .ci/install-deps.sh: Adding executable bit. --- .ci/install-deps.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 .ci/install-deps.sh diff --git a/.ci/install-deps.sh b/.ci/install-deps.sh old mode 100644 new mode 100755