diff options
| author | Alexander Potapenko <glider@google.com> | 2023-11-09 11:18:23 +0100 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2023-11-09 11:30:45 +0000 |
| commit | 1d21e169f5af587e88b70ecd9640f8b33a76ebc5 (patch) | |
| tree | d2037c695968422956d9a394dc0f73927a205428 /tools | |
| parent | 4862372a57ee80af8186cd80f6c9c8f741a45e40 (diff) | |
docs/coverage.md: replace --kernel_obj with --config
Replace --kernel_obj with --config
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions