> > 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.
Don't worry, I'm sure that "darcs remove" will live a long time, if only because of backwards compatibility. Could you please tell us what you use it for? Why don't you just delete the file in question instead? Regards, Zooko _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
