Skip to content

Delete man file as it is not so helpful: --help is fine - #996

Merged
wkentaro merged 1 commit into
mainfrom
feature/remove_man
Feb 26, 2022
Merged

wkentaro merged 1 commit into
mainfrom
feature/remove_man

Conversation

@wkentaro

@wkentaro wkentaro commented Feb 26, 2022

Copy link
Copy Markdown
Owner

Close #975

@wkentaro wkentaro self-assigned this Feb 26, 2022
@wkentaro
wkentaro merged commit ed5f76a into main Feb 26, 2022
@wkentaro
wkentaro deleted the feature/remove_man branch February 26, 2022 14:20
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