On 2009/08/31 11:36, LEVAI Daniel wrote:
> On Monday 31 August 2009 11.27.07 you wrote:
> > On Mon, Aug 31, 2009 at 11:13:43AM +0200, LEVAI Daniel wrote:
> > > Hi!
> > >
> > >
> > > What is the point of the ports/dev and ports/deve directories?
> > > Are these typos?
> >
> > I think so. CVS still makes directories that are non-existent (but once
> > existed) unless you use -P.
> 
> These directories exist in the cvs repo, not in my working copy.
> Maybe someone should cvs rm ports/deve ports/dev; cvs commit?

You can't remove directories using cvs.

Reply via email to