diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-06-03 10:44:57 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-06-03 10:44:57 +0200 |
| commit | c241694ccb6de36971a27f144433521f30f92fa3 (patch) | |
| tree | 6d42cca8040e0f568ce7550290c30edb18b26b34 /contrib/coverage.sh | |
| parent | 2cea0eb4d2ee117a48703370a4ff4be6b275df0f (diff) | |
check more return values
Diffstat (limited to 'contrib/coverage.sh')
0 files changed, 0 insertions, 0 deletions