On 16 Jul 2009, at 15:33, Ashley Moran wrote:
On 16 Jul 2009, at 07:02, Stephen J. Turnbull wrote:
Erm, in Darcs 2 rollback records a new inverse patch.
Right, and that is incorrect usage (if you want to conform to
database
terminology). The reason for using "undo" in the phrase above is
that
the transaction may be incomplete, and therefore it's not yet part of
history so that "delete" doesn't make sense.
How about `darcs reverse`? Not sure I like it... just a suggestion.
I think it's way to similar to revert and would be _very_ confusing.
--
Dan
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
