On Sun, 2002-05-19 at 10:34, Linas Vepstas wrote: > How can we access this CVS server? It's not public. b.g.