minor doc improvements #46

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

1 Commits

Author SHA1 Message Date
muellerr 0a7642213f minor doc improvements 2025-02-13 18:24:57 +01:00