[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. Albert. _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
