[darcs-devel] [patch1182] Implementation of the command 'darcs undo'.

Ganesh Sittampalam bugs at darcs.net
Tue Aug 19 22:00:48 UTC 2014


Ganesh Sittampalam <ganesh at earth.li> added the comment:

I don't think we need to clear out the saved states explicitly, only when 
something invalidates them.

The user doesn't need to use 'darcs undo' if she doesn't want to, so I 
don't think they get in the way.

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1182>
__________________________________


More information about the darcs-devel mailing list