On Thu, Feb 02, 2006 at 10:30:17PM +0100, Albert Reiner wrote: > [EMAIL PROTECTED], Thu, 02 Feb 2006 14:30:42 -0400]: > > As for "darcs remove", it might be best to eliminate that command, > > or at least to hide it in the section that we reserve for commands > > that are unnecessary and that sometimes confuse newcomers. > > Please don't eliminate! Not only would that break backward > compatibility, it is also a very useful command, just as unpull and > unrecord are.
I would suggest "darcs forget". Joeri _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
