Doc difftool

[jnavila]

This is another set of changes to convert the manual pages to synopsis style.

Nothing noteworthy to add, pretty straight-forward.

[jnavila]

/submit

[gitgitgadget]

Submitted as pull.2077.git.1775322767.gitgitgadget@gmail.com

To fetch this version into FETCH_HEAD:

git fetch https://github.com/gitgitgadget/git/ pr-2077/jnavila/doc_difftool-v1

To fetch this version to local tag pr-2077/jnavila/doc_difftool-v1:

git fetch --no-tags https://github.com/gitgitgadget/git/ tag pr-2077/jnavila/doc_difftool-v1

[gitgitgadget]

This patch series was integrated into seen via git@77a7b2a.

[gitgitgadget]

This branch is now known as ja/doc-difftool-synopsis-style.

[gitgitgadget]

This patch series was integrated into seen via git@0f8ebe0.

[gitgitgadget]

This patch series was integrated into seen via git@fa47f87.

[gitgitgadget]

There was a status update in the "Cooking" section about the branch ja/doc-difftool-synopsis-style on the Git mailing list:

Doc mark-up updates.

Will merge to 'next'?
source: <pull.2077.git.1775322767.gitgitgadget@gmail.com>

[gitgitgadget]

This patch series was integrated into seen via git@fdb4409.

[gitgitgadget]

This patch series was integrated into seen via git@4538e1e.

[gitgitgadget]

This patch series was integrated into seen via git@a740abc.

[gitgitgadget]

This patch series was integrated into seen via git@c1247f5.