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

Use public API to capture docs. #405

Closed
wants to merge 1 commit into from
Closed

Use public API to capture docs. #405

wants to merge 1 commit into from

Conversation

TWiStErRob
Copy link
Owner

No description provided.

@TWiStErRob TWiStErRob added in:documentation Improvements or additions to documentation a:enhancement Tuning of existing features labels Sep 28, 2024
@TWiStErRob TWiStErRob enabled auto-merge (squash) September 28, 2024 17:02
@TWiStErRob
Copy link
Owner Author

Cannot be extracted from #380 because it Clikt forcefully System.exits in prior versions.

@TWiStErRob TWiStErRob closed this Sep 28, 2024
auto-merge was automatically disabled September 28, 2024 17:56

Pull request was closed

@TWiStErRob TWiStErRob deleted the improve branch September 28, 2024 17:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
a:enhancement Tuning of existing features in:documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant