| author | dnsimon |
| Wed, 19 Oct 2016 20:15:35 +0200 | |
| changeset 42026 | b909beeb863f |
| parent 34505 | 90f4fd15d739 |
| 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> |