On Jan 17, 2008 9:59 AM, Tommy Pettersson <[EMAIL PROTECTED]> wrote: > On Thu, Jan 17, 2008 at 03:19:43PM +0100, Nicolas Pouillard wrote: > > So I vote for having --external-merge out the multi-choice group for > > both > > pull and apply.
Sounds good. > Yes, me too. And perhaps it should be renamed to > --external-merger to reflect it does no longer perform a merge, > but only selects the merger to use. I definitely prefer the name --external-merge, or perhaps --external-merge-conflicts. The problem is that merger is a noun, not a verb. David _______________________________________________ darcs-devel mailing list darcs-devel@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-devel
