diff options
author | René Scharfe <l.s.r@web.de> | 2018-08-19 19:34:43 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-21 11:33:21 -0700 |
commit | 446e63ccf536782263be3659d41b6c603c851bce (patch) | |
tree | 016eb80c7cceb6db8802059385a014541f43bf14 /builtin/push.c | |
parent | checkout-index: improve argument help for --stage (diff) | |
download | tgif-446e63ccf536782263be3659d41b6c603c851bce.tar.xz |
remote: improve argument help for add --mirror
Group the possible values using a pair of parentheses and don't mark
them for translation, as they are literal strings that have to be used
as-is in any locale.
Signed-off-by: Rene Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/push.c')
0 files changed, 0 insertions, 0 deletions