Skip to content

Migrate KeY v3.0 fixes to main - #3941

Merged
wadoon merged 24 commits into
mainfrom
migrateVersion30Fixes
Jul 24, 2026
Merged

Migrate KeY v3.0 fixes to main#3941
wadoon merged 24 commits into
mainfrom
migrateVersion30Fixes

Sync file chooser before opening with last opened location

dc85953
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formatting
succeeded Jul 24, 2026 in 1m 1s