equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
|
2 <?eclipse-pydev version="1.0"?> |
|
3 |
|
4 <pydev_project> |
|
5 <pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property> |
|
6 <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property> |
|
7 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH"> |
|
8 <path>/mx.jvmci</path> |
|
9 </pydev_pathproperty> |
|
10 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH"> |
|
11 <path>/mx</path> |
|
12 </pydev_pathproperty> |
|
13 |
|
14 </pydev_project> |