aboutsummaryrefslogtreecommitdiff
path: root/contrib/coverage.sh
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-12-15 12:44:16 +0100
committerChristian Grothoff <christian@grothoff.org>2019-12-15 12:44:16 +0100
commit9eff97869cc14bbae345db62a8b34f8161541ca1 (patch)
treeb53c25bc12c3882037f695e65bfcdd877f67ac82 /contrib/coverage.sh
parent1fc603800cf092e0d5750caf01ec46335109cb7f (diff)
mark as executable
Diffstat (limited to 'contrib/coverage.sh')
-rwxr-xr-x[-rw-r--r--]contrib/coverage.sh0
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/coverage.sh b/contrib/coverage.sh
index cce622283..cce622283 100644..100755
--- a/contrib/coverage.sh
+++ b/contrib/coverage.sh