Plugins/UiExtensionPlugins/PipInterface/PipDialog.ui

changeset 6253
a148632e9610
parent 6011
e6af0dcfbb35

eric ide

mercurial