From c2ae3d595414cd5e7f841330cbba57b56af925c5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 14 Feb 2023 17:13:28 +0100 Subject: [PATCH] made executable again --- matita/matita/help/C/scripts/fix-symbols.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 matita/matita/help/C/scripts/fix-symbols.sh diff --git a/matita/matita/help/C/scripts/fix-symbols.sh b/matita/matita/help/C/scripts/fix-symbols.sh old mode 100644 new mode 100755 -- 2.39.2