comparison: Plugins/UiExtensionPlugins/PipInterface/ConfigurationPage/PipPage.ui
Plugins/UiExtensionPlugins/PipInterface/ConfigurationPage/PipPage.ui
- changeset 6287
- 9a193ff6d24a
- parent 6011
- e6af0dcfbb35
- child 6342
- c79ecba9cde7
equal
deleted
inserted
replaced