Re: removing CVS dirs

[Rodrigo Moya <rmoya tsai es>]

Elliot Lee wrote:

> On Sat, 11 Dec 1999, Rodrigo Moya wrote:
>
> > How do I remove dirs in CVS? I have found nothing at the docs special
> > about this, but I remember having some problems some time ago removing
> > dirs, so I don't want to make tests in the GNOME CVS server.
>
> cvs remove -Rf dir, more or less.
>

Thanks, I've done it, but the dirs are still shown by bonsai on the GNOME
CVS server.