From 65e3ec86b413dd0d772c8fd789b6c3f03934835d Mon Sep 17 00:00:00 2001
From: Julio Barba <juliobbv@github.com>
Date: Tue, 18 Aug 2020 16:09:04 -0400
Subject: [PATCH] Set executable bit

---
 src/Misc/dotnet-install.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 src/Misc/dotnet-install.sh

diff --git a/src/Misc/dotnet-install.sh b/src/Misc/dotnet-install.sh
old mode 100644
new mode 100755