diff mx/eclipse-settings/org.eclipse.jdt.core.prefs @ 19882:0c29075aeafe

graph builder plugins are created before GraphBuilderConfigurations and the process for deriving plugins from an existing configuration is simplified
author Doug Simon <doug.simon@oracle.com>
date Sun, 15 Mar 2015 10:52:22 +0100
parents 7e2c87dae93e
children
line wrap: on
line diff