view mx/eclipse-settings/org.eclipse.core.resources.prefs @ 18698:abd10b6ef99d

Benchmark counters should have their own LocationIdentity
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Tue, 16 Dec 2014 13:30:07 -0800
parents f11d3d5248b5
children
line wrap: on
line source

eclipse.preferences.version=1
encoding/<project>=UTF-8