diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-17 09:24:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-18 11:34:42 +0200 |
| commit | 848ec2e87bd69decdb19bc897a7798d9f216724a (patch) | |
| tree | 7e8050289300fa6a8f2c306520b6463e88b7487d /docs/headerparser_usage.md | |
| parent | 70100a5440db6b1837227a15a88a23ef36707514 (diff) | |
tools/codecov.yml: fix format
Merge 2 coverage sections.
Diffstat (limited to 'docs/headerparser_usage.md')
0 files changed, 0 insertions, 0 deletions