src/eric7/Preferences/ConfigurationPages/PluginManagerPage.py

branch
eric7
changeset 9931
e6e01a10c3a1
parent 9653
e67609152c5e
child 9982
5b91f7baffd0
equal deleted inserted replaced
9930:4d82d809e816 9931:e6e01a10c3a1

eric ide

mercurial