On Tue, Mar 27, 2007 at 10:38:26PM +0200, Sylvain Beucler wrote: > Sorry for the delay. Never mind.
> I think you need to edit CVS/Entries in such cases. We figured that out ourselves... Thanks, Karsten -- GPG key ID E4071346 @ wwwkeys.pgp.net E167 67FD A291 2BEA 73BD 4537 78B9 A9F9 E407 1346