From c2ae3d595414cd5e7f841330cbba57b56af925c5 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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