Preferences/ConfigurationPages/PluginManagerPage.ui

changeset 6832
1faa6d5e4c1d
parent 5739
a870f5f03baa
equal deleted inserted replaced
6831:56cff61dfa20 6832:1faa6d5e4c1d

eric ide

mercurial