[darcs-users] Re: argh. please change the name "unpull"

Jean Jordaan jean at upfrontsystems.co.za
Fri Mar 18 15:44:59 UTC 2005


> And 'unrecord' is a word? How do you 'unrecord' something?

I'm not mad about 'unrecord' either. By analog to 'amend-record',
perhaps 'undo-record' would be better.

-- 
Jean Jordaan
http://www.upfrontsystems.co.za




More information about the darcs-users mailing list