Skip to content

docs: remove bold from some man page SYNOPSIS sections#12267

Closed
bagder wants to merge 1 commit into
masterfrom
bagder/docs-synopsis-nobold
Closed

docs: remove bold from some man page SYNOPSIS sections#12267
bagder wants to merge 1 commit into
masterfrom
bagder/docs-synopsis-nobold

Conversation

@bagder

@bagder bagder commented Nov 4, 2023

Copy link
Copy Markdown
Member

In the name of consistency

@bagder bagder closed this in 0f3e9d5 Nov 4, 2023
@bagder bagder deleted the bagder/docs-synopsis-nobold branch November 4, 2023 11:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

1 participant