diff options
author | 2018-05-03 20:48:30 +0200 | |
---|---|---|
committer | 2018-05-06 18:38:43 +0900 | |
commit | 5356a3c3542774f05684b5c3999060492dce2e8d (patch) | |
tree | 0cce8c7f659e6b5f07f1fed437b9746dc48f91ff /git-gui | |
parent | doc: add note about shell quoting to revision.txt (diff) | |
download | tgif-5356a3c3542774f05684b5c3999060492dce2e8d.tar.xz |
doc: normalize [--options] to [options] in git-diff
SYNOPSIS and other manuals use [options] but DESCRIPTION
used [--options].
Signed-off-by: Andreas Heiduk <asheiduk@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions