[darcs-users] Removing a file in darcs
Ganesh Sittampalam
ganesh at earth.li
Thu Feb 26 17:26:48 UTC 2004
On Thu, 26 Feb 2004, Samuel Tardieu wrote:
> When one records a removed file in darcs, why does darcs first propose
> a change which empties the file then a change which removes the file?
Isn't this necessary for the changes recorded to be reversible?
> It seems to be that those two operations are different. If a file has
> been removed (instead of emptied), it may be for a good reason.
Yes, but the two are recorded differently. In the emptying case no removal
change is recorded.
Cheers,
Ganesh
More information about the darcs-users
mailing list