diff: Documentation/Source/index-eric6.Plugins.UiExtensionPlugins.PipInterface.ConfigurationPage.html
Documentation/Source/index-eric6.Plugins.UiExtensionPlugins.PipInterface.ConfigurationPage.html
- changeset 6725
- cde74a0d1f23
- parent 6343
- 86cea8abd0f7