diff options
author | Philippe Blain <levraiphilippeblain@gmail.com> | 2023-06-26 19:24:29 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-06-26 19:40:10 +0300 |
commit | fd9058649a9c3e80ce726d419fe9ae49ee18b538 (patch) | |
tree | bee41406146e31fe009cdd5751d5e1ebc1e8a364 /contrib | |
parent | de4898d7d8b9674d14a5f12ac567d033e378326c (diff) |
completion: complete --compact-summary
Signed-off-by: Philippe Blain <levraiphilippeblain@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/completion/git-completion.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/completion/git-completion.bash b/contrib/completion/git-completion.bash index 58ce64de9e..4c43d13eef 100644 --- a/contrib/completion/git-completion.bash +++ b/contrib/completion/git-completion.bash @@ -1755,7 +1755,7 @@ __git_diff_common_options="--stat --numstat --shortstat --summary --indent-heuristic --no-indent-heuristic --textconv --no-textconv --break-rewrites --patch --no-patch --cc --combined-all-paths - --anchored= + --anchored= --compact-summary " # Options for diff/difftool |