diff options
| author |  Denton Liu <liu.denton@gmail.com> | 2020-09-17 00:44:08 -0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-09-17 09:38:47 -0700 |
| commit | 308d7a7dc99043c90a9eff6916cad1abe0d473aa (patch) | |
| tree | 6c66a73ff523ff2d11d9ba063ab30d3f73b08912 /ci/lib.sh | |
| parent | git-diff.txt: backtick quote command text (diff) | |
| download | tgif-308d7a7dc99043c90a9eff6916cad1abe0d473aa.tar.xz | |
contrib/completion: extract common diff/difftool options
difftool parses its own options and then passes the remaining options
onto diff. As a result, they share common command-line options. Instead
of duplicating the list, use a shared $__git_diff_difftool_options list.
The completion for diff is missing --relative and the completion for
difftool is missing --no-index. Add both of these to the common list.
Signed-off-by: Denton Liu <liu.denton@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci/lib.sh')
0 files changed, 0 insertions, 0 deletions