Skip to content

Allow KeY to start even in case of unreadable recent files#3790

Merged
wadoon merged 1 commit intomainfrom
fixRecent
Mar 24, 2026
Merged

Allow KeY to start even in case of unreadable recent files#3790
wadoon merged 1 commit intomainfrom
fixRecent

Commits

Commits on Mar 24, 2026