Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 3670
f0cb7579c0b4
parent 3200
83bde5e6f146
child 4577
e79a139aacc4
equal deleted inserted replaced
3669:ac84ac3c0f05 3670:f0cb7579c0b4

eric ide

mercurial