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

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
	<name>mx.jvmci</name>
	<comment></comment>
	<projects>
		<project>mx</project>
	</projects>
	<buildSpec>
		<buildCommand>
			<name>org.python.pydev.PyDevBuilder</name>
			<arguments>
			</arguments>
		</buildCommand>
	</buildSpec>
	<natures>
		<nature>org.python.pydev.pythonNature</nature>
	</natures>
</projectDescription>