From 5cfb0cc87d700a8ef2dd0a06bb152ce1303913a8 Mon Sep 17 00:00:00 2001 From: Valentin Date: Thu, 1 Dec 2022 12:25:27 +0100 Subject: [PATCH] changer perm du script avec git update-index --- fixperms.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 fixperms.sh diff --git a/fixperms.sh b/fixperms.sh old mode 100644 new mode 100755