[darcs-users] Re: argh. please change the name "unpull"
quaggy at gmail.com
Fri Mar 18 22:07:54 UTC 2005
On Fri, 18 Mar 2005 22:55:46 +0100, Ivan Stankovic
<pokemon at fly.srk.fer.hr> wrote:
> Yes, "drop" seems nice, especially if you consider how often it is used in
> expressions like "dropping a patch". If the name has to be changed (though
> I don't have anything against unpull), I'd go for "drop".
Yup, "drop" is good. Any objections?
More information about the darcs-users