Skip to content
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.

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

Update docs according to recent commits #39

Merged
merged 2 commits into from
Jun 25, 2019
Merged

Conversation

aspiers
Copy link
Owner

@aspiers aspiers commented Jun 25, 2019

No description provided.

The man page was updated with regard to higher --verbose levels but
not the info manual, so fix that.
@aspiers aspiers merged commit 2eb3be1 into master Jun 25, 2019
@aspiers aspiers deleted the update-news-thanks branch June 25, 2019 16:48
@coveralls
Copy link

Coverage Status

Coverage remained the same at 85.089% when pulling f6bf45a on update-news-thanks into b9c13df on master.

1 similar comment
@coveralls
Copy link

Coverage Status

Coverage remained the same at 85.089% when pulling f6bf45a on update-news-thanks into b9c13df on master.

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.

2 participants