diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-06-03 11:39:33 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-06-03 11:59:09 +0200 |
| commit | e8d36083fd01edc7cdec0cb817c5b89be9216a26 (patch) | |
| tree | 4b26992e5cf56c1ed886917549a1600c99e3a380 /docs | |
| parent | 2ba71ec506c729632a8ebff1b906593cdbe49012 (diff) | |
codecov.yml: tidy github comment format
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions