mergetool: use get_merge_tool function
authorDenton Liu <liu.denton@gmail.com>
Mon, 29 Apr 2019 06:21:08 +0000 (02:21 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 13 May 2019 14:11:59 +0000 (23:11 +0900)
commit05fb872...cccc74908853c166248ff9b6abdafae5
treee879f61...63d326d264ab6911fd8e32e6445610e4copy hash to clipboard (tree)
parent57d93c1...2ce7deddf485e7c826278fef6815ec6bcopy hash to clipboard (diff)
Documentation/git-mergetool--lib.txt
git-difftool--helper.sh
git-mergetool--lib.sh
git-mergetool.sh