/Plugins/UiExtensionPlugins/PipInterface/ConfigurationPage/

drwxr-xr-x [up]
-rw-r--r-- 2018-02-17 17:29 +0100 3644 PipPage.py file | revisions | annotate
-rw-r--r-- 2018-02-17 17:29 +0100 4851 PipPage.ui file | revisions | annotate
-rw-r--r-- 2018-02-17 17:29 +0100 153 __init__.py file | revisions | annotate

eric ide

mercurial