Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 4359
ac1dda9f3f19
parent 3200
83bde5e6f146
child 4577
e79a139aacc4
equal deleted inserted replaced
4357:815d1f3116ff 4359:ac1dda9f3f19

eric ide

mercurial