Re: dev and deve and devel

2021-01-10 Thread Jan Stary
On Jan 09 23:15:07, na...@mips.inka.de wrote: > On 2021-01-09, Jan Stary wrote: > > > The current ports.tar.gz contains a dev/ and deve/ directory > > beside the expected devel/ category. Is that intended? > > The creation of those directories wasn't intended as such, they're > the result of

Re: dev and deve and devel

2021-01-09 Thread Christian Weisgerber
On 2021-01-09, Jan Stary wrote: > The current ports.tar.gz contains a dev/ and deve/ directory > beside the expected devel/ category. Is that intended? The creation of those directories wasn't intended as such, they're the result of cvs import accidents, but once a directory has been created in

Re: dev and deve and devel

2021-01-09 Thread Stuart Henderson
On 2021/01/09 13:23, Jan Stary wrote: > The current ports.tar.gz contains a dev/ and deve/ directory > beside the expected devel/ category. Is that intended? > Looking at cvsweb, these have been in the Attic for some time. Yes. Directories cannot be removed in CVS.

dev and deve and devel

2021-01-09 Thread Jan Stary
The current ports.tar.gz contains a dev/ and deve/ directory beside the expected devel/ category. Is that intended? Looking at cvsweb, these have been in the Attic for some time. Jan