diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2015-09-19 09:47:49 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-09-21 10:48:21 -0700 |
commit | 318ca61531d3189aef7b32a924518db1dd9f3374 (patch) | |
tree | 07445f3276b13f2595a3b08b76ba14c7a0e33093 /gitk-git/po/pt_br.po | |
parent | Documentation: use 'keyid' consistently, not 'key-id' (diff) | |
download | tgif-318ca61531d3189aef7b32a924518db1dd9f3374.tar.xz |
Documentation/grep: fix documentation of -O
Since the argument of -O, --open-file-in-pager is optional, it must be
stuck to the command. Reflect this in the documentation.
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Reviewed-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitk-git/po/pt_br.po')
0 files changed, 0 insertions, 0 deletions