if you uninstall them, and then delete them from your local portfile repository, then run portindex in that repository, you should see no sign of them again.
Ken > On Nov 16, 2018, at 11:37 AM, Mark Brethen <[email protected]> wrote: > > There are a number of local ports that I was developing that never came to > fruition. Is it possible to remove them from the registry? > > > Mark Brethen > [email protected] > > >
