git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60aced3)
difftool: make --gui, --tool and --extcmd mutually exclusive
authorDenton Liu <redacted>
Mon, 29 Apr 2019 06:21:17 +0000 (02:21 -0400)
committerJunio C Hamano <redacted>
Mon, 13 May 2019 14:11:59 +0000 (23:11 +0900)
commit7f978d7d10a87c4a56ea3101b936cddb25bbe2c6
treea974ee6fc7fc745081d5a2e90e570fc0247b295ftree | snapshot
parent60aced3dfa68df60952fed28c4ae63a5bbda0275commit | diff
difftool: make --gui, --tool and --extcmd mutually exclusive

In git-difftool, these options specify which tool to ultimately run. As
a result, they are logically conflicting. Explicitly disallow these
options from being used together.

Signed-off-by: Denton Liu <redacted>
Signed-off-by: Junio C Hamano <redacted>
builtin/difftool.c diff | blob | history
t/t7800-difftool.sh diff | blob | history
git clone https://git.99rst.org/PROJECT