diff options
| author |   Jose Bollo <jose.bollo@iot.bzh> | 2018-07-06 15:05:22 +0200 |
|---|---|---|
| committer | José Bollo <jose.bollo@iot.bzh> | 2018-07-08 21:27:48 +0200 |
| commit | 44b24775deb71c45c474ff97553a1514674bf2ad (patch) | |
| tree | 74828e6b843d6009631e7fdc89d875477215e9e4 /docs/resources/make_cover.sh | |
| parent | 171e010be010b65ebd77c4b8dc6da43426739a62 (diff) | |
coverage: Add valgrind diagnostics
Change-Id: I047f6a1946ba523776abf9f252a3938e945c8028
Signed-off-by: Jose Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'docs/resources/make_cover.sh')
0 files changed, 0 insertions, 0 deletions