From bbaa2b3cfb3b29d20be6f2e1be9e8ca50c2dace1 Mon Sep 17 00:00:00 2001 From: Nabil Ghodbane Date: Fri, 11 Dec 2020 16:38:53 +0100 Subject: [PATCH] petsc: set it to chmod 755 --- products/compil_scripts/petsc.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 products/compil_scripts/petsc.sh diff --git a/products/compil_scripts/petsc.sh b/products/compil_scripts/petsc.sh old mode 100644 new mode 100755 -- 2.39.2