From 8aa54b797fa511946490bdf7efc1b4f05b7b5e5d Mon Sep 17 00:00:00 2001
From: Jan Decaluwe <jan@jandecaluwe.com>
Date: Tue, 1 Mar 2016 17:59:28 +0100
Subject: [PATCH] script execution mode

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

diff --git a/scripts/install_ghdl.sh b/scripts/install_ghdl.sh
old mode 100644
new mode 100755