view mx/.project @ 7247:1706be855f0e

Use ThreadMXBean to get CPU time instead of Wallclock time for Timers if possible Fix debug metric summary Cosmetic alignement in GraalOptions
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 17 Dec 2012 16:38:48 +0100
parents 527724d26036
children
line wrap: on
line source

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