A couple more subversion notes

[Arnaud Charlet]

> 8.5G seems to be the space needed on the server, *not*
> on your local machine.

I believe you are confused: I was talking about a svk set up (as suggested
by the author of the email I was responding to) with a local
mirror of the repository in this message. 8.5G is for the local mirror,
it is not (even) counting the check out which does take almost a gig as
you said.

Arno