| author | zmajo |
| Mon, 29 Feb 2016 07:58:45 +0100 | |
| changeset 36415 | a172186ba1ca |
| parent 34505 | 90f4fd15d739 |
| child 42026 | b909beeb863f |
| permissions | -rw-r--r-- |
|
34505
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
1 |
<?xml version="1.0" encoding="UTF-8" standalone="no"?> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
2 |
<?eclipse-pydev version="1.0"?> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
3 |
|
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
4 |
<pydev_project> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
5 |
<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
6 |
<pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
7 |
<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH"> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
8 |
<path>/mx.jvmci</path> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
9 |
</pydev_pathproperty> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
10 |
<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH"> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
11 |
<path>/mx</path> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
12 |
</pydev_pathproperty> |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
13 |
|
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
14 |
</pydev_project> |