comparison mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 19390:7f4201b633e7

renamed GraphBuilderPlugins to InvocationPlugins and consolidated it into GraphBuilderConfiguration; moved declaration of GraphBuilderPlugin sub-interfaces into GraphBuilderPlugin
author Doug Simon <doug.simon@oracle.com>
date Mon, 16 Feb 2015 11:57:43 +0100
parents e3491381c424
children 7e2c87dae93e
comparison
equal deleted inserted replaced
19389:e6d78307bdc9 19390:7f4201b633e7