diff options
author | 2018-03-14 08:24:32 +0000 | |
---|---|---|
committer | 2018-03-14 08:24:32 +0000 | |
commit | 1f31bc4df169195e3e7a9b6429d50785f73a51e7 (patch) | |
tree | fb1be982d5bce5ef75cca032282f3680e36e37f7 /docs/release/userguide | |
parent | 0983f9169f3e90629ee845926d56ac674d4b1a34 (diff) | |
parent | 9f7c9cd25e7b89a208b64b8833b760c2b0d0ea07 (diff) |
Merge "add coverage test report in term, xml (for jenkins use) and html"
Diffstat (limited to 'docs/release/userguide')
0 files changed, 0 insertions, 0 deletions