From 8e48ec1f92d2dd1d37769a50b211fd0b3a08884f Mon Sep 17 00:00:00 2001 From: Alessandro Mauri Date: Thu, 10 Sep 2020 16:40:08 +0200 Subject: [PATCH] make rivet.sh non executable --- rivet.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 rivet.sh diff --git a/rivet.sh b/rivet.sh old mode 100755 new mode 100644