src/eric7/Preferences/ConfigurationPages/PluginManagerPage.ui

branch
eric7
changeset 9576
be9f8e7e42e0
parent 9413
80c06d472826
child 9982
5b91f7baffd0

eric ide

mercurial