src/eric7/Preferences/ConfigurationPages/ShellPage.ui

branch
eric7
changeset 10257
904c71a0e37f
parent 9209
b99e7fd55fd3
child 10556
b4a75c77f9cd
equal deleted inserted replaced
10256:1b728f26d1ae 10257:904c71a0e37f

eric ide

mercurial