Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 1142
01ae8e2946d3
parent 0
de9c2efb9d02
child 2707
dea7b20f3485
equal deleted inserted replaced
1140:8d1aa04a8f62 1142:01ae8e2946d3

eric ide

mercurial