[darcs-users] Best practices, even for casual users
Juliusz Chroboczek
Juliusz.Chroboczek at pps.jussieu.fr
Thu May 4 15:54:00 UTC 2006
> So I go with get ?
> So I do a put ?
It doesn't matter much. In the local case, put is almost two times
slower than get. But the effects should be identical.
Juliusz
More information about the darcs-users
mailing list