From 8928e15335491f4ee9230e49bd88a59f4c2b2c36 Mon Sep 17 00:00:00 2001 From: Paul Zimmermann Date: Wed, 18 Apr 2018 16:31:31 +0200 Subject: tools/coverage should be executable --- tools/coverage | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/coverage diff --git a/tools/coverage b/tools/coverage old mode 100644 new mode 100755 -- cgit v1.2.1