And then I can manually remove their distfiles folders?
Mark Brethen [email protected] > On Nov 16, 2018, at 1:45 PM, Ken Cunningham <[email protected]> > wrote: > > 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] >> >> >> >
