diff options
| author | Adam Johnson <me@adamj.eu> | 2025-01-08 23:35:23 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2025-01-09 08:46:53 -0800 |
| commit | 21e1b4486586d3a15d2d7bf0479e77636359b816 (patch) | |
| tree | 2d0c0caa0efe27e52f34615201b8ee220d8b9d48 /builtin/commit.c | |
| parent | a60673e9252b08d4eca90543b3729f4798b9aafd (diff) | |
difftool docs: restore correct position of tool list
2a9dfdf260 (difftool docs: de-duplicate configuration sections, 2022-09-07)
moved the difftool documentation, but missed moving this "include" line that
includes the generated list of diff tools, as referenced in the moved text.
Restore the correct position of the included list.
Signed-off-by: Adam Johnson <me@adamj.eu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions