hotspot/.mx.jvmci/.pydevproject
author brutisso
Wed, 03 Feb 2016 18:21:43 +0100
changeset 35930 722866f5e209
parent 34505 90f4fd15d739
child 42026 b909beeb863f
permissions -rw-r--r--
8148951: Remove unused method Generation::performs_in_place_marking() Reviewed-by: david, jwilhelm

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?eclipse-pydev version="1.0"?>

<pydev_project>
<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property>
<pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property>
<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
<path>/mx.jvmci</path>
</pydev_pathproperty>
<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
<path>/mx</path>
</pydev_pathproperty>

</pydev_project>