From e8b475d9f7f69e229cf6070655f6293fd3c4dd6b Mon Sep 17 00:00:00 2001 From: Martin Winkler Date: Fri, 8 Nov 2019 09:41:32 +0100 Subject: [PATCH] Add execution rights to sequencer.sh --- sequencer/sequencer.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 sequencer/sequencer.sh diff --git a/sequencer/sequencer.sh b/sequencer/sequencer.sh old mode 100644 new mode 100755