X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fhelp%2FC%2Fscripts%2Ffix-symbols.sh;fp=matita%2Fmatita%2Fhelp%2FC%2Fscripts%2Ffix-symbols.sh;h=eb491489a77254c27c2fd1c064b23d493fbee4d3;hb=c2ae3d595414cd5e7f841330cbba57b56af925c5;hp=eb491489a77254c27c2fd1c064b23d493fbee4d3;hpb=0af83899c857dfb34e5edaf02df0837985af5a0d;p=helm.git

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