Skip to content

Improvement to documentation#53

Merged
JulStraus merged 3 commits intomainfrom
docs/improvement
Apr 16, 2026
Merged

Improvement to documentation#53
JulStraus merged 3 commits intomainfrom
docs/improvement

Conversation

@JulStraus
Copy link
Copy Markdown
Member

This PR is a minor update to the documentation. Once this PR is merged, I will register a new version.

@JulStraus JulStraus added the documentation Improvements or additions to documentation label Apr 16, 2026
@JulStraus JulStraus merged commit ab64b40 into main Apr 16, 2026
5 checks passed
@JulStraus JulStraus deleted the docs/improvement branch April 16, 2026 07:05
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.

1 participant