|
| From: | Stefan Kangas |
| Subject: | Re: On obsoleting defcustoms |
| Date: | Fri, 18 Sep 2020 06:40:11 -0700 |
Eli Zaretskii <eliz@gnu.org> writes: > IMO, we shouldn't show obsolete options at all in a Custom buffer, for > the same reason why we remove them from the manuals. Yes, that is an even better solution. Thank you for pointing it out.
| [Prev in Thread] | Current Thread | [Next in Thread] |