diff options
| author | Ramkumar Ramachandra <artagnon@gmail.com> | 2011-04-07 00:16:50 +0530 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-04-06 15:24:10 -0700 |
| commit | 48672b3dc70e8f70291d974f0eb54cbac7f498e0 (patch) | |
| tree | c050484b8a617acc53fe9619fab23b4f21666813 /Documentation/config.txt | |
| parent | 90b94c26f7ae5241aa1d17c7076c103d9896b534 (diff) | |
| download | git-48672b3dc70e8f70291d974f0eb54cbac7f498e0.tar.gz git-48672b3dc70e8f70291d974f0eb54cbac7f498e0.tar.xz | |
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>
Diffstat (limited to 'Documentation/config.txt')
0 files changed, 0 insertions, 0 deletions