From c731b9eb6dbbc6683a4c5020b42fca0fb06427e7 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Wed, 29 Jul 2020 21:04:22 +0300 Subject: Fix permissions on doc/it/*.sh. --- doc/it/compila_originale.sh | 0 doc/it/compila_smallprint.sh | 0 2 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 doc/it/compila_originale.sh mode change 100644 => 100755 doc/it/compila_smallprint.sh (limited to 'doc/it') diff --git a/doc/it/compila_originale.sh b/doc/it/compila_originale.sh old mode 100644 new mode 100755 diff --git a/doc/it/compila_smallprint.sh b/doc/it/compila_smallprint.sh old mode 100644 new mode 100755 -- cgit v1.2.3