> > The command "darcs resolve" would be better named "darcs mark-conflicts".
>
> Hmmmm.  That certainly does sound like an improvement to me.  I didn't see
> this suggestion on the thread you quoted, so before making this change it
> would be nice to see it aired as a proposal on darcs-users, to make sure
> noone sees an objection.  It's a sufficiently obscure and rarely-used
> command that I think we can be freer with renaming it than we would
> normally be.

Sounds like a good idea to me.  I never really understood what
'resolve' was supposed to do anyway, until this recent thread.

--
Zachary P. Landau <[EMAIL PROTECTED]>

_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users

Reply via email to