diff make/jprt.properties @ 19180:e99be967a753

renamed TruffleGraphBuilderPluginsProvider to TruffleGraphBuilderPlugins to reflect the fact that it is no longer a service provider
author Doug Simon <doug.simon@oracle.com>
date Fri, 06 Feb 2015 18:03:49 +0100
parents cb1b723cbca8
children 43aa571c1131
line wrap: on
line diff