Doc: Use `option` word for command line interface. (GH-12142)
For command line option, `option` is better than `parameter`.
(cherry picked from commit 0983fcd0d5bd00c6b0dd3040760226f67aa831cd)
Co-authored-by:
NAKAMURA Osamu <osamu0329nakamura@users.noreply.github.com>
Loading
Please sign in to comment