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.