From 9eff97869cc14bbae345db62a8b34f8161541ca1 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Sun, 15 Dec 2019 12:44:16 +0100 Subject: mark as executable --- contrib/coverage.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 contrib/coverage.sh (limited to 'contrib/coverage.sh') diff --git a/contrib/coverage.sh b/contrib/coverage.sh old mode 100644 new mode 100755 -- cgit v1.2.3