author | mbaesken |
Thu, 02 Feb 2017 17:13:46 +0100 | |
changeset 43616 | 3b2cfa35d931 |
parent 42026 | b909beeb863f |
child 44836 | 45196b7066e3 |
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"?> |
42026
b909beeb863f
8168295: [JVMCI] -XX:+JVMCIPrintProperties should exit after printing
dnsimon
parents:
34505
diff
changeset
|
2 |
<?eclipse-pydev version="1.0"?><pydev_project> |
34505
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
3 |
<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
|
4 |
<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
|
5 |
<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH"> |
42026
b909beeb863f
8168295: [JVMCI] -XX:+JVMCIPrintProperties should exit after printing
dnsimon
parents:
34505
diff
changeset
|
6 |
<path>/.mx.jvmci</path> |
34505
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
7 |
</pydev_pathproperty> |
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
8 |
<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
|
9 |
<path>/mx</path> |
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
10 |
</pydev_pathproperty> |
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
11 |
|
90f4fd15d739
8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff
changeset
|
12 |
</pydev_project> |