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