manual: Some small fixes and improvements#380
Merged
johannes-wolf merged 18 commits into0.2.0from doc-adjust-ctxJan 16, 2024
+198-325
Commits
Commits on Jan 15, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 16, 2024
- committed