src/eric7/Preferences/ConfigurationPages/ShellPage.ui

branch
eric7
changeset 9573
9960d19d66b5
parent 9209
b99e7fd55fd3
child 10556
b4a75c77f9cd
equal deleted inserted replaced
9572:3b46c662a004 9573:9960d19d66b5

eric ide

mercurial