Joeri van Ruth wrote:
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".
+1!
|
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
