Skip to content

Doc fixes#679

Merged
rhornung67 merged 2 commits intodevelopfrom
task/rhornung67/fix-docs
Apr 1, 2026
Merged

Doc fixes#679
rhornung67 merged 2 commits intodevelopfrom
task/rhornung67/fix-docs

Conversation

@rhornung67
Copy link
Copy Markdown
Member

Summary

  • This PR fixes some formatting, broken links, etc. in the user guide.

@rhornung67 rhornung67 merged commit 3111bb9 into develop Apr 1, 2026
23 checks passed
@rhornung67 rhornung67 deleted the task/rhornung67/fix-docs branch April 1, 2026 15:59
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.

3 participants