New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

header.md: remove backslash, make nicer markdown #12877

Closed

bagder wants to merge 1 commit into master from bagder/header-polish

Member

bagder commented Feb 6, 2024

remove a leftover backslash before a dash
use backticks for "code" strings


          header.md: remove backslash, make nicer markdown

ac6cacb

- remove a leftover backslash before a dash
- use backticks for "code" strings

bagder added cmdline tool documentation labels

bagder closed this in

a5c8620

bagder deleted the bagder/header-polish branch

February 6, 2024 12:07

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