dev and deve and devel

[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