Documentation/Source/eric5.Preferences.ConfigurationPages.PluginManagerPage.html

changeset 2039
fa41ccd7f7bc
parent 1229
a8207dc73672
child 2367
78f6c8193d37
equal deleted inserted replaced
2038:72557ef75de1 2039:fa41ccd7f7bc

eric ide

mercurial