Options Panel in Load Dialog. Options in Recent Files#3788

wadoon merged 1 commit into

mainKeYProject/key:mainfrom

weigl/loadoptionpanelKeYProject/key:weigl/loadoptionpanelCopy head branch name to clipboard