Skip to content
Snippets Groups Projects
Select Git revision
  • 8cc75cdc4841d30638d0bca781e2a4774766f398
  • master default protected
  • bug-collection
3 results

Port.java

Blame
  • .pydevproject 427 B
    <?xml version="1.0" encoding="UTF-8" standalone="no"?>
    <?eclipse-pydev version="1.0"?><pydev_project>
    <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
    <path>/${PROJECT_DIR_NAME}/src</path>
    </pydev_pathproperty>
    <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property>
    <pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property>
    </pydev_project>