Re: [PD-dev] CVS: how to remove a directory