small docs improvements #6

Merged
muellerr merged 1 commits from small-docs-improvements into main 2025-06-26 20:32:21 +02:00
Owner
No description provided.
muellerr added 1 commit 2025-06-26 20:32:11 +02:00
small docs improvements
Some checks are pending
ci / Check build (push) Waiting to run
ci / Check formatting (push) Waiting to run
ci / Check Documentation Build (push) Waiting to run
ci / Clippy (push) Waiting to run
ci / Check build (pull_request) Waiting to run
ci / Check formatting (pull_request) Waiting to run
ci / Check Documentation Build (pull_request) Waiting to run
ci / Clippy (pull_request) Waiting to run
138cbc5ea7
muellerr merged commit 037668e5a9 into main 2025-06-26 20:32:21 +02:00
muellerr deleted branch small-docs-improvements 2025-06-26 20:32:21 +02:00
Sign in to join this conversation.
No description provided.