diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2022-09-07 10:27:02 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-09-07 09:46:06 -0700 |
commit | 2a9dfdf260db304763e4db159921565feeedef40 (patch) | |
tree | 11667ce8d0c28cb2be75025434e4d0567dedc33e /Documentation/git-log.txt | |
parent | 5bd277e2e2059840cda807de511f02c291e039c9 (diff) | |
download | git-2a9dfdf260db304763e4db159921565feeedef40.tar.gz |
difftool docs: de-duplicate configuration sections
Include the "config/difftool.txt" file in "git-difftool.txt", and move
the relevant part of git-difftool(1) configuration from
"config/diff.txt" to config/difftool.txt".
Doing this is slightly odd, as we usually discuss configuration in
alphabetical order, but by doing it we're able to include the full set
of configuration used by git-difftool(1) (and only that configuration)
in its own documentation.
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Reviewed-by: Matheus Tavares <matheus.bernardino@usp.br>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-log.txt')
0 files changed, 0 insertions, 0 deletions