Skip to content

Fixed some errors in the documentation#55

Merged
JulStraus merged 1 commit into
mainfrom
docs/fix
Apr 16, 2026
Merged

Fixed some errors in the documentation#55
JulStraus merged 1 commit into
mainfrom
docs/fix

Conversation

@JulStraus

Copy link
Copy Markdown
Member

I realized that I forgot some errors in the documentation. This PR updates the minor problems.

@JulStraus JulStraus added the documentation Improvements or additions to documentation label Apr 16, 2026
@JulStraus JulStraus merged commit d6b8f76 into main Apr 16, 2026
5 checks passed
@JulStraus JulStraus deleted the docs/fix branch April 16, 2026 06:20
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