diff graal/com.oracle.jvmci.debug/src/com/oracle/jvmci/debug/DebugTimer.java @ 21605:7a7cf422160b

replaced OptionsParsed with DebugInitializationPropertyProvider
author Doug Simon <doug.simon@oracle.com>
date Fri, 29 May 2015 17:23:14 +0200
parents b1530a6cce8c
children
line wrap: on
line diff