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?

Daniel

-- 
LÉVAI Dániel
PGP key ID = 0x4AC0A4B1
Key fingerprint = D037 03B9 C12D D338 4412  2D83 1373 917A 4AC0 A4B1

Reply via email to