diff jvmci/jdk.vm.ci.common/src/jdk/vm/ci/common/InitTimer.java @ 23783:1523f2f7832f

renamed JVMCIPrintSystemProperties to JVMCIPrintProperties
author Doug Simon <doug.simon@oracle.com>
date Wed, 05 Oct 2016 22:07:45 +0200
parents 9e1235406b59
children
line wrap: on
line diff