Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 5106
1ecc6c9abca5
parent 4577
e79a139aacc4
child 5384
22c15d7e2cad
equal deleted inserted replaced
5105:8a773a100c34 5106:1ecc6c9abca5

eric ide

mercurial