Skip to content

Conversation

@neutrinoceros
Copy link
Owner

@neutrinoceros neutrinoceros commented Nov 3, 2023

No description provided.

@neutrinoceros neutrinoceros added the documentation Improvements or additions to documentation label Nov 3, 2023
@neutrinoceros neutrinoceros force-pushed the lint_docstrings branch 3 times, most recently from 97f8233 to abf75f0 Compare November 3, 2023 18:24
@neutrinoceros neutrinoceros marked this pull request as ready for review November 3, 2023 18:35
@neutrinoceros neutrinoceros merged commit b93cd3b into main Nov 3, 2023
@neutrinoceros neutrinoceros deleted the lint_docstrings branch November 3, 2023 20:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants