diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-12-17 12:21:22 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-12-17 20:49:18 -0800 |
| commit | 77680caadb939cf47fd08447b81faadc7c3bd436 (patch) | |
| tree | a466caa682f91707ffd5b965c9b1b294e45b1ff9 /t | |
| parent | cbe021004fc8762076bf497cc0b259d110b3a753 (diff) | |
| download | git-77680caadb939cf47fd08447b81faadc7c3bd436.tar.gz git-77680caadb939cf47fd08447b81faadc7c3bd436.tar.xz | |
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>
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions