summaryrefslogtreecommitdiff
path: root/Documentation/git-log.txt
diff options
context:
space:
mode:
authorÆvar Arnfjörð Bjarmason <avarab@gmail.com>2022-09-07 10:27:02 +0200
committerJunio C Hamano <gitster@pobox.com>2022-09-07 09:46:06 -0700
commit2a9dfdf260db304763e4db159921565feeedef40 (patch)
tree11667ce8d0c28cb2be75025434e4d0567dedc33e /Documentation/git-log.txt
parent5bd277e2e2059840cda807de511f02c291e039c9 (diff)
downloadgit-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