Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 6291
94e0e688dcad
parent 5739
a870f5f03baa
equal deleted inserted replaced
6290:bf4624957d2d 6291:94e0e688dcad

eric ide

mercurial