diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-10-09 14:22:42 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-10-09 14:22:42 +0200 |
| commit | 4e54a41fe3478572f1702cc7085b54d62438716e (patch) | |
| tree | d1202aeae604b9e774917d6208c4d1010589c506 /contrib/coverage.sh | |
| parent | 0d5a3d7b6f4d60997eccee7463c81844366a1506 (diff) | |
use denomination key issue data from adb, not edb
Diffstat (limited to 'contrib/coverage.sh')
0 files changed, 0 insertions, 0 deletions