Plugins/UiExtensionPlugins/PipInterface/PipDialog.ui

branch
maintenance
changeset 6752
638d12a35754
parent 6011
e6af0dcfbb35

eric ide

mercurial