Yes, or, at least a notification that defaults have changed.
--
Kevin Oberman, Part time kid herder and retired Network Engineer
E-mail: [email protected]
PGP Fingerprint: D03FB98AFA78E3B78C1694B318AB39EF1B055683


On Tue, May 5, 2020 at 12:13 AM Alex V. Petrov <[email protected]>
wrote:

> Hi All!
>
> I think that for the ports menu options need a new "default" button
> (make rmconfig).
>
> --
> -----
> Alex.
> _______________________________________________
> [email protected] mailing list
> https://lists.freebsd.org/mailman/listinfo/freebsd-ports
> To unsubscribe, send any mail to "[email protected]"
>
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "[email protected]"

Reply via email to