src/eric7/Preferences/ConfigurationPages/ShellPage.ui

branch
server
changeset 10531
3308e8349e4c
parent 9209
b99e7fd55fd3
child 10556
b4a75c77f9cd
equal deleted inserted replaced
10530:684f491a3bfc 10531:3308e8349e4c

eric ide

mercurial