| commit | 53204061acbf7a03a6ba050f381e0bf9b01e3a78 | |
| author | Jonathan Nieder <jrnieder@gmail.com> | |
| Sat, 13 Mar 2021 08:41:33 +0000 (13 00:41 -0800) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Sat, 13 Mar 2021 23:34:32 +0000 (13 15:34 -0800) | ||
| tree | e088bf64e8c9a853d09cf05b1f0f279cd1944a7f | treesnapshot (tar.gz zip) |
| parent | b2a51c1b03c44bd888e2f65c764dced571266482 | commitdiff |
doc: describe mergetool configuration in git-mergetool(1)
In particular, this describes mergetool.hideResolved, which can help
users discover this setting (either because it may be useful to them
or in order to understand mergetool's behavior if they have forgotten
setting it in the past).
Tested by running
make -C Documentation git-mergetool.1
man Documentation/git-mergetool.1
and reading through the page.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
In particular, this describes mergetool.hideResolved, which can help
users discover this setting (either because it may be useful to them
or in order to understand mergetool's behavior if they have forgotten
setting it in the past).
Tested by running
make -C Documentation git-mergetool.1
man Documentation/git-mergetool.1
and reading through the page.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| Documentation/git-mergetool.txt | diffblobblamehistory |