Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 3187
e63c582ee4f5
parent 3186
a05eff845522
child 3200
83bde5e6f146
equal deleted inserted replaced
3186:a05eff845522 3187:e63c582ee4f5

eric ide

mercurial