Rewriter of old to new settings format. - #3590

Draft

wadoon wants to merge 5 commits into

mainfrom

weigl/settingsrewriter

Commits on Aug 13, 2026

A tool for rewriting the settings in KeY files to the new JSON-like format.
wadoon
committed
2db3956
move into script folder finishing
wadoon
committed
4634822
added gzip support
wadoon
committed
8269356
using logger, force flag
wadoon
committed
91702e8
updating
wadoon
committed
16d5158