Preferences/ConfigurationPages/TerminalPage.ui

changeset 537
72b32daeb8d6
parent 0
de9c2efb9d02
child 2102
a9218946b0bd
equal deleted inserted replaced
536:6d8d39753c82 537:72b32daeb8d6

eric ide

mercurial