diff options
| author | René Scharfe <l.s.r@web.de> | 2024-06-24 21:15:45 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-06-24 13:49:41 -0700 |
| commit | 0f4b0d4cf0e192b770529b97712f31dcf365e118 (patch) | |
| tree | 62e707ce92eda719d811bab1467ddd8c5f415bce /git-gui/git-gui.sh | |
| parent | Git 2.45 (diff) | |
| download | git-0f4b0d4cf0e192b770529b97712f31dcf365e118.tar.gz git-0f4b0d4cf0e192b770529b97712f31dcf365e118.zip | |
diff: allow --color-moved with --no-ext-diff
We ignore the option --color-moved if an external diff program is
configured, presumably because its overhead is unnecessary in that case.
Respect the option if we don't actually use the external diff, though.
Reported-by: lolligerhans@gmx.de
Helped-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/git-gui.sh')
0 files changed, 0 insertions, 0 deletions