CVS: cvs.openbsd.org: ports

[Marc Espie]

CVSROOT:        /cvs
Module name:    ports
Changes by:     es...@cvs.openbsd.org   2018/07/09 08:08:10

Removed files:
        infrastructure/bin: dolock getpkgpath retrieve-index 

Log message:
... and actually kill the old names