Skip to content

Update tools.json#757

Merged
chrbertsch merged 2 commits intomodelica:mainfrom
GReinecker:patch-3
Jun 6, 2025
Merged

Update tools.json#757
chrbertsch merged 2 commits intomodelica:mainfrom
GReinecker:patch-3

Commits

Commits on Jun 5, 2025