src/eric7/Preferences/ConfigurationPages/PluginManagerPage.ui

branch
eric7
changeset 9984
e99fe0e9a1e3
parent 9982
5b91f7baffd0
equal deleted inserted replaced
9983:2526f3b8c421 9984:e99fe0e9a1e3

eric ide

mercurial