From 0ec854159b693a6098587c336e79aca67a915187 Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Fri, 24 Aug 2018 10:23:20 +0200
Subject: [PATCH] Make script to build binaries executable

---
 scripts/ci-binary.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 scripts/ci-binary.sh

diff --git a/scripts/ci-binary.sh b/scripts/ci-binary.sh
old mode 100644
new mode 100755
-- 
GitLab