Document ideal interface#2113
Merged
fingolfin merged 7 commits intoNemocas:masterfrom Nov 7, 2025
Merged
Commits
Commits on Jun 27, 2025
- committed
- committed
- committed
- committed
Commits on Jul 12, 2025
- andauthored
Commits on Oct 21, 2025
- andauthored
- committed