small documentation fix #276

Merged
muellerr merged 1 commits from small-doc-fix into main 2026-08-26 15:33:07 +02:00
1 Commits
Author SHA1 Message Date
Robin Mueller cbce7916c2 small documentation fix 2026-08-26 15:32:06 +02:00