Preferences/ConfigurationPages/ViewmanagerPage.ui

changeset 4348
fcb65da90a07
parent 0
de9c2efb9d02
equal deleted inserted replaced
4345:de313fb93dee 4348:fcb65da90a07

eric ide

mercurial