diff hotspot/.settings/org.eclipse.cdt.ui.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 694c38d4b6d8
children
line wrap: on
line diff