diff options
| author | Robert Karszniewicz <avoidr@posteo.de> | 2020-10-07 00:06:36 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-10-07 10:54:00 -0700 |
| commit | 8a1bb7ee9ddee1bb32e08d153fbc4f6c6cc2586d (patch) | |
| tree | 4578844f3c5c69bbf31a5183b893ceff4b6f44b4 /builtin/diff-index.c | |
| parent | d98273ba77e1ab9ec755576bc86c716a97bf59d7 (diff) | |
git-completion.bash: __git_diff_common_options: add --[no-]patch
At the same time also deduplicate those options from command completions
which use $__git_diff_common_options.
Signed-off-by: Robert Karszniewicz <avoidr@posteo.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/diff-index.c')
0 files changed, 0 insertions, 0 deletions