Skip to content

Remove version information from schema filename, remove obsolete features#142

Merged
mkavulich merged 4 commits intoESCOMP:mainfrom
mkavulich:feature/update_tools
Apr 9, 2026
Merged

Remove version information from schema filename, remove obsolete features#142
mkavulich merged 4 commits intoESCOMP:mainfrom
mkavulich:feature/update_tools

Commits

Commits on Apr 9, 2026