Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 3658
edcfadf0152d
parent 3200
83bde5e6f146
child 4577
e79a139aacc4
equal deleted inserted replaced
3657:ae833e7fcd6c 3658:edcfadf0152d

eric ide

mercurial