Skip to content

Use correct names for man page of subcommands#135

Merged
mgautierfr merged 1 commit into
mainfrom
fix_man_pages
Dec 17, 2025
Merged

Use correct names for man page of subcommands#135
mgautierfr merged 1 commit into
mainfrom
fix_man_pages

Conversation

@mgautierfr
Copy link
Copy Markdown
Member

No description provided.

@mgautierfr mgautierfr merged commit 1eb4c37 into main Dec 17, 2025
23 checks passed
@mgautierfr mgautierfr deleted the fix_man_pages branch December 17, 2025 14:05
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