[ ] <extension-point name="foo"/> for the group and <target
extensionOf="foo" ... for members of the group
- 4 binding votes for extension-point. (Nicolas, Matt, Bruce, Stefan)
Stefan wrote that he prefers extension-point and would go with the
majority. So I am counting him here.
- 2 binding votes for <target-group or <targetgroup (myself and Martijn).
extension-point/extensionOf is the winning ticket.
Regards,
Antoine
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org