Skip to content

OMC option --frontendInline not needed#15

Merged
AnHeuermann merged 1 commit intomainfrom
update-omc-options
Mar 9, 2026
Merged

OMC option --frontendInline not needed#15
AnHeuermann merged 1 commit intomainfrom
update-omc-options

Commits

Commits on Mar 9, 2026