Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 2908
c6e9a57eb44b
parent 2707
dea7b20f3485
child 3113
2780e230f129
equal deleted inserted replaced
2907:108abcc64724 2908:c6e9a57eb44b

eric ide

mercurial