From dca7187681e6f765f8e4f29ec8498e4971fbac40 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Mon, 18 Feb 2019 10:46:28 +0100
Subject: [PATCH] Change file permissions

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

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