From 6ddfc0a254edd65ec7998564227129daf38fa7e0 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Mon, 24 Oct 2016 02:09:42 +0200
Subject: [PATCH] Fixing build

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

diff --git a/build.sh b/build.sh
old mode 100644
new mode 100755
-- 
GitLab