comparison mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 5346:4c3d953f8131

added mechanism (enabled by -G:PICache and -G:PiFilter) for saving/loading method profiling info to/from disk
author Doug Simon <doug.simon@oracle.com>
date Thu, 03 May 2012 13:39:45 +0200
parents 04ebcabcba4f
children 44d92b447951
comparison
equal deleted inserted replaced
5345:00803ae428d2 5346:4c3d953f8131