Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 1852
12d37ab1baf3
parent 0
de9c2efb9d02
child 2707
dea7b20f3485
equal deleted inserted replaced
1851:8809e87fcbee 1852:12d37ab1baf3

eric ide

mercurial