src/eric7/Preferences/ConfigurationPages/ShellPage.ui

branch
eric7-maintenance
changeset 9449
c982bacca23f
parent 9209
b99e7fd55fd3
child 10556
b4a75c77f9cd

eric ide

mercurial