commit 9eff97869cc14bbae345db62a8b34f8161541ca1 parent 1fc603800cf092e0d5750caf01ec46335109cb7f Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 15 Dec 2019 12:44:16 +0100 mark as executable Diffstat:
| M | contrib/coverage.sh | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/contrib/coverage.sh b/contrib/coverage.sh