Documentation: Allow custom diff tools to be specified in 'diff.tool'
commit48672b3dc70e8f70291d974f0eb54cbac7f498e0
authorRamkumar Ramachandra <artagnon@gmail.com>
Wed, 6 Apr 2011 18:46:50 +0000 (7 00:16 +0530)
committerJunio C Hamano <gitster@pobox.com>
Wed, 6 Apr 2011 22:24:10 +0000 (6 15:24 -0700)
treec050484b8a617acc53fe9619fab23b4f21666813
parent90b94c26f7ae5241aa1d17c7076c103d9896b534
Documentation: Allow custom diff tools to be specified in 'diff.tool'

Apart from the list of "valid values", 'diff.tool' can take any value,
provided there is a corresponding 'difftool.<tool>.cmd' option.  Also,
describe this option just before the 'difftool.*' options.

Helped-by: Michael J Gruber <git@drmicha.warpmail.net>
Signed-off-by: Ramkumar Ramachandra <artagnon@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/diff-config.txt