Preferences/ConfigurationPages/PluginManagerPage.py

changeset 1373
b3b3c99dba01
parent 1131
7781e396c903
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1370:cb90f71f11f5 1373:b3b3c99dba01

eric ide

mercurial