diff options
author | Andreas Heiduk <asheiduk@gmail.com> | 2018-05-03 20:48:25 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-06 18:38:43 +0900 |
commit | e78e0f728eb043dc99de10fb3b4d58575f2df0c9 (patch) | |
tree | 859666653b370221424d4e7809c0d57a08525c03 /INSTALL | |
parent | doc: improve formatting in githooks.txt (diff) | |
download | tgif-e78e0f728eb043dc99de10fb3b4d58575f2df0c9.tar.xz |
doc: align 'diff --no-index' in text and synopsis
Make the two '<path>' parameters in DESCRIPTION mandatory and
move the `--options` part to the same place where the other
variants show them. And finally make `--no-index` in SYNOPSIS
as mandatory as in DESCRIPTION.
Signed-off-by: Andreas Heiduk <asheiduk@gmail.com>
Reviewed-by: Martin Ă…gren <martin.agren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions