Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 2224
c681f765d64d
parent 0
de9c2efb9d02
child 2707
dea7b20f3485
equal deleted inserted replaced
2223:054c285dab38 2224:c681f765d64d

eric ide

mercurial