hotspot/.mx.jvmci/.project
author sherman
Thu, 13 Oct 2016 17:47:30 -0700
changeset 41491 854cef16b9fc
parent 34505 90f4fd15d739
permissions -rw-r--r--
8167957: Remove FilePermission from default policy for jdk.charsets module Reviewed-by: mchung

<?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>