diff options
| author |  Dmitry Petrashko <dark@d-d.me> | 2018-05-17 03:04:59 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-05-17 03:06:08 -0700 |
| commit | bdcdd5b9f0a34784d9a5c1df2d7ea57a04a31b23 (patch) | |
| tree | d18f710bdd3267fff993ffb0230f871aed3b0d9d /tools/test/collect_coverage.sh | |
| parent | f4121c3b767ec9893013853cbafee65ad45ed37c (diff) | |
Fix typo in user manual
Fix a typo in option name
Closes #4927.
PiperOrigin-RevId: 196964791
Diffstat (limited to 'tools/test/collect_coverage.sh')
0 files changed, 0 insertions, 0 deletions