[ Lots of good comments to justify --nolinks ] I'm sorry if I wasn't clear -- I think that --nolinks is a good idea, and in no way am I opposing it. I was just being pedantic about the scenario you described.
Sorry for that, but I can't resist joining in when Alice and Bob are
involved.
Juliusz
_______________________________________________
darcs-devel mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-devel
