mergetool: support --tool-help option like difftool does
authorJunio C Hamano <gitster@pobox.com>
Mon, 23 Jul 2012 21:16:12 +0000 (14:16 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 23 Jul 2012 21:42:39 +0000 (14:42 -0700)
commit109859e...7445a3ad12eb8f8cba43a5aa8f701733
tree669e753...a602ccdfcc2a517b53a7a70800cdf599copy hash to clipboard (tree)
parente6dfbcf...2b0e70897818cb36903de0625931a5c6copy hash to clipboard (diff)
Documentation/git-mergetool.txt
git-mergetool--lib.sh
git-mergetool.sh