comparison: src/eric7/Preferences/ConfigurationPages/ShellPage.ui
src/eric7/Preferences/ConfigurationPages/ShellPage.ui
- branch
- eric7-maintenance
- changeset 9449
- c982bacca23f
- parent 9209
- b99e7fd55fd3
- child 10556
- b4a75c77f9cd
equal
deleted
inserted
replaced