diff hotspot/.settings/org.eclipse.core.runtime.prefs @ 21715:67e28e817d32

HotSpotNodePlugin should use providers from GraphBuilderContext
author Andreas Woess <andreas.woess@oracle.com>
date Thu, 04 Jun 2015 01:00:44 +0200
parents e53926b0a6cb
children
line wrap: on
line diff