Preferences/ConfigurationPages/TerminalPage.ui

changeset 1142
01ae8e2946d3
parent 0
de9c2efb9d02
child 2102
a9218946b0bd
equal deleted inserted replaced
1140:8d1aa04a8f62 1142:01ae8e2946d3

eric ide

mercurial