Document diff.external and mergetool.<tool>.path
commit77680caadb939cf47fd08447b81faadc7c3bd436
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Mon, 17 Dec 2007 12:21:22 +0000 (17 12:21 +0000)
committerJunio C Hamano <gitster@pobox.com>
Tue, 18 Dec 2007 04:49:18 +0000 (17 20:49 -0800)
treea466caa682f91707ffd5b965c9b1b294e45b1ff9
parentcbe021004fc8762076bf497cc0b259d110b3a753
Document diff.external and mergetool.<tool>.path

There was no documentation for the config variables diff.external
and mergetool.<tool>.path.

Noticed by Sebastian Schuberth.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt