Skip to content

Fix v2.ProblemConfig.extension type#403

Merged
m-philipps merged 1 commit intoPEtab-dev:mainfrom
dweindl:v2_fix_extension
Jul 14, 2025
Merged

Fix `v2.ProblemConfig.extension` type#403
m-philipps merged 1 commit intoPEtab-dev:mainfrom
dweindl:v2_fix_extension

Commits

Commits on Jul 14, 2025