[darcs-users] another confusion re: command names

Adam Megacz adam at megacz.com
Sat May 15 09:32:35 UTC 2004


Andrew Pimlott <andrew at pimlott.net> writes:
>     darcs unrecord --with-undo-patch
>     darcs unpull   --with-undo-patch

Hrm, what would 'unrecord --with-undo-patch' do?

It might be nice to either change the UNDO: comment to ROLLBACK: or
else change 'darcs rollback' to 'darcs undo'.

  - a




More information about the darcs-users mailing list