On Tue, 22 Dec 2009 11:47:17 -0500, Antoine Levy Lambert <anto...@gmx.de>
wrote:
> Hi,
> 
> I would like to start a formal vote on the name of target-group.
> 
> [ ] <target-group name="foo"/> for the group and <target group="foo" ...

> for the members of the group
> this is the current codebase
> 
> [ ] <extension-point name="foo"/> for the group and <target 
> extensionOf="foo" ... for members of the group

I have a preference for extension-point/extensionOf.

target-group/group is fine for me if it is chosen by the majority.

Nicolas


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org

Reply via email to