| commit | cd91c38f184fe7162ecbab8bfa2f15d2a335015d | [log] [tgz] |
|---|---|---|
| author | Nate Bosch <nbosch@google.com> | Wed May 19 17:08:02 2021 -0700 |
| committer | GitHub <noreply@github.com> | Wed May 19 17:08:02 2021 -0700 |
| tree | 6cb46525dd14f06a6ca68c544411097692e7dbbd | |
| parent | e5b2739ed8dedd8f20c8ad033917ed07d07c7cb4 [diff] |
Tweak the phrasing for doc on file reporters (#1522) Towards #1521 The argument causes an output to a file in _addition_ to the output on stdout. Avoid the word "instead" to avoid confusion that this argument disables reporting on stdout.