[Nigel Rowe <[EMAIL PROTECTED]>, Sat, 4 Feb 2006 09:10:07 +1100]: > Hmmm, maybe it should be renamed unadd? > > Actually I'm only half joking here, as it would remove any confusion of > "does darcs remove == rm"?
Actually, I also thought that unadd would have been a better name. In general, however, I am opposed to all that renaming and to the aliases, even in those cases where the new name is better. The recent renaming of `unpull' to `obl' seems to indicate a trend away from the good `un-' names. Albert. _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
