Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 4349
a99dcf04f6f5
parent 3200
83bde5e6f146
child 4577
e79a139aacc4

eric ide

mercurial