Skip to content

Doc difftool#2077

Open
jnavila wants to merge 4 commits intogitgitgadget:masterfrom
jnavila:doc_difftool
Open

Doc difftool#2077
jnavila wants to merge 4 commits intogitgitgadget:masterfrom
jnavila:doc_difftool

Conversation

@jnavila
Copy link
Copy Markdown

@jnavila jnavila commented Apr 2, 2026

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

Nothing noteworthy to add, pretty straight-forward.

jnavila added 4 commits April 2, 2026 19:50
     * convert commands to synopsis style
     * use _<placeholder>_ for arguments
     * fix conditional text to sentence limits

Signed-off-by: Jean-Noël Avila <jn.avila@free.fr>
     * convert commands and options to synopsis style
     * use _<placeholder>_ for arguments
     * small style fixes

Signed-off-by: Jean-Noël Avila <jn.avila@free.fr>
     * convert commands and options to synopsis style
     * use _<placeholder>_ for arguments
     * small style fixes

Signed-off-by: Jean-Noël Avila <jn.avila@free.fr>
     * convert commands and options to synopsis style
     * use _<placeholder>_ for arguments

Signed-off-by: Jean-Noël Avila <jn.avila@free.fr>
@jnavila
Copy link
Copy Markdown
Author

jnavila commented Apr 4, 2026

/submit

@gitgitgadget
Copy link
Copy Markdown

gitgitgadget bot commented Apr 4, 2026

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant