Andrew's git / gitweb.git / diff
?
Document diff.external and mergetool.<tool>.path
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Mon, 17 Dec 2007 12:21:22 +0000 (12:21 +0000)
committerJunio C Hamano <gitster@pobox.com>
Tue, 18 Dec 2007 04:49:18 +0000 (20:49 -0800)
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>
No differences found