Skip to content

Feature/unify settings formats#2114

Merged
JeltevanBoheemen merged 4 commits into
feature/corpus-settingsfrom
feature/unify-settings-formats
Jul 15, 2026
Merged

Feature/unify settings formats#2114
JeltevanBoheemen merged 4 commits into
feature/corpus-settingsfrom
feature/unify-settings-formats

Commits

Commits on Jul 14, 2026

Commits on Jul 15, 2026