Removing local ports from the registry

[Ken Cunningham]

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 <mark.brethen at gmail.com> 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
> mark.brethen at gmail.com
> 
> 
>