Yes, or, at least a notification that defaults have changed.
--
Kevin Oberman, Part time kid herder and retired Network Engineer
E-mail: rkober...@gmail.com
PGP Fingerprint: D03FB98AFA78E3B78C1694B318AB39EF1B055683
On Tue, May 5, 2020 at 12:13 AM Alex V. Petrov
wrote:
> Hi All!
>
> I think
Hi All!
I think that for the ports menu options need a new "default" button
(make rmconfig).
--
-
Alex.
___
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to