Preferences/ConfigurationPages/PluginManagerPage.py

changeset 4359
ac1dda9f3f19
parent 4021
195a471c327b
child 4577
e79a139aacc4
child 4632
ca310db386ed

eric ide

mercurial