equal
deleted
inserted
replaced
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
2 <?eclipse-pydev version="1.0"?><pydev_project> |
2 <?eclipse-pydev version="1.0"?><pydev_project> |
3 <pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property> |
3 <pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">python_hp</pydev_property> |
4 <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property> |
4 <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property> |
5 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH"> |
5 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH"> |
6 <path>/hyperplateau/src</path> |
6 <path>/hyperplateau/src</path> |
7 <path>/hyperplateau/ldt/web</path> |
7 <path>/hyperplateau/ldt/web</path> |
8 </pydev_pathproperty> |
8 </pydev_pathproperty> |