minor doc improvements #47

Merged

muellerr merged 1 commits from minor-docs-improvements into main 2025-02-13 18:51:18 +01:00

Conversation 0 Commits 1 Files Changed 1 +54 -26

1 Commits

Author	SHA1	Message	Date
Robin Mueller	a8fbe2abb5	minor doc improvements	2025-02-13 18:50:53 +01:00