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 /userdiff.c | |
| parent | Git 2.29-rc0 (diff) | |
| download | git-8a1bb7ee9ddee1bb32e08d153fbc4f6c6cc2586d.tar.gz git-8a1bb7ee9ddee1bb32e08d153fbc4f6c6cc2586d.zip | |
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 'userdiff.c')
0 files changed, 0 insertions, 0 deletions