Skip to content
This repository has been archived by the owner on Jan 19, 2024. It is now read-only.

man pages - minor corrections #26

Merged
merged 1 commit into from
Mar 28, 2023
Merged

Conversation

mikelik
Copy link
Member

@mikelik mikelik commented Mar 28, 2023

No description provided.

@mikelik mikelik self-assigned this Mar 28, 2023
@jolly-fellow jolly-fellow merged commit c858033 into docs Mar 28, 2023
@jolly-fellow jolly-fellow deleted the mikelik/man_corrections branch March 28, 2023 13:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants