Skip to content

[FileFormats.MPS] allow the RHS name to be optional when reading#2942

Merged
odow merged 1 commit intomasterfrom
od/allow-rhs-without-names
Feb 15, 2026
Merged

[FileFormats.MPS] allow the RHS name to be optional when reading#2942
odow merged 1 commit intomasterfrom
od/allow-rhs-without-names

Commits

Commits on Feb 14, 2026