On Thu, Jan 26, 2006 at 01:23:38PM -0400, [EMAIL PROTECTED] wrote: > > http://bugs.darcs.net/issue113 > > David Roundy <[EMAIL PROTECTED]> added the comment: > > On Thu, Jan 26, 2006 at 05:47:36AM +0000, Zooko wrote: > > 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.
I vote in favor of the change. -kolibrie _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
