From e9abde619436d3ff1f651735d2bdbb05387a7652 Mon Sep 17 00:00:00 2001 From: cytopia Date: Mon, 4 Mar 2019 08:50:35 +0100 Subject: [PATCH] shell.bat does not need to have executable bit set --- shell.bat | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 shell.bat diff --git a/shell.bat b/shell.bat old mode 100755 new mode 100644