|
From: | João Távora |
Subject: | Re: Poll: Change xref-show-definitions-function's default? |
Date: | Mon, 4 Jan 2021 08:48:44 +0000 |
On 04.01.2021 01:58, João Távora wrote:
> So I think the current
> default should stay.
Have you looked at both proposed alternatives?
[Prev in Thread] | Current Thread | [Next in Thread] |