diff options
author | Denton Liu <liu.denton@gmail.com> | 2018-10-24 18:25:43 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-25 07:02:41 +0200 |
commit | c217b9384e8ecbde866bfb09e88f1d7f87bc7b29 (patch) | |
tree | 86209e8914169d2477d1bfaea6c59b00ef645c65 /Documentation/merge-config.txt | |
parent | completion: support `git mergetool --[no-]gui` (diff) | |
download | git-c217b9384e8ecbde866bfb09e88f1d7f87bc7b29.tar.xz git-c217b9384e8ecbde866bfb09e88f1d7f87bc7b29.zip |
doc: document diff/merge.guitool config keys
Signed-off-by: Denton Liu <liu.denton@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to '')
-rw-r--r-- | Documentation/merge-config.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/merge-config.txt b/Documentation/merge-config.txt index 662c2713ca..a7f4ea90c1 100644 --- a/Documentation/merge-config.txt +++ b/Documentation/merge-config.txt @@ -63,6 +63,12 @@ merge.tool:: Any other value is treated as a custom merge tool and requires that a corresponding mergetool.<tool>.cmd variable is defined. +merge.guitool:: + Controls which merge tool is used by linkgit:git-mergetool[1] when the + -g/--gui flag is specified. The list below shows the valid built-in values. + Any other value is treated as a custom merge tool and requires that a + corresponding mergetool.<guitool>.cmd variable is defined. + include::mergetools-merge.txt[] merge.verbosity:: |