src/eric7/Preferences/ConfigurationPages/PluginManagerPage.ui

branch
eric7
changeset 10503
6a37b6ac3928
parent 9982
5b91f7baffd0
equal deleted inserted replaced
10502:89b8e0a67fde 10503:6a37b6ac3928

eric ide

mercurial