From 14ad99872fe7ff4bbaba7f5c94b01476ae19d48e Mon Sep 17 00:00:00 2001 From: john30 Date: Sat, 29 Apr 2017 15:37:43 +0200 Subject: [PATCH] adjusted to new cmdline params --- test_coverage.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 test_coverage.sh diff --git a/test_coverage.sh b/test_coverage.sh old mode 100644 new mode 100755