Preferences/ConfigurationPages/PluginManagerPage.py

changeset 5106
1ecc6c9abca5
parent 4631
5c1a96925da4
child 5384
22c15d7e2cad
equal deleted inserted replaced
5105:8a773a100c34 5106:1ecc6c9abca5

eric ide

mercurial