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.
Ashley
--
http://www.patchspace.co.uk/
http://www.linkedin.com/in/ashleymoran
http://aviewfromafar.net/
http://twitter.com/ashleymoran
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
