diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-02-11 18:29:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-11 18:29:03 +0100 |
| commit | a75b198cd071926905c294db80393240f55a9a0f (patch) | |
| tree | ac676c68b1fd621f3b1bedcfbaff8cd7dd4641a0 /executor | |
| parent | 8de037321c2fd622297aa3f2776580723d03f1dd (diff) | |
doc: mention darwin support for coverage
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions