Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 4348
fcb65da90a07
parent 3200
83bde5e6f146
child 4577
e79a139aacc4
equal deleted inserted replaced
4345:de313fb93dee 4348:fcb65da90a07

eric ide

mercurial