|
From: | Robert Pluim |
Subject: | Re: eglot manual suggestions |
Date: | Tue, 25 Oct 2022 11:39:10 +0200 |
>>>>> On Tue, 25 Oct 2022 09:29:38 +0100, João Távora <joaotavora@gmail.com> >>>>> said: João> Let's push the changes, then, they look good to me as well. Thanks Robert. João> Prefer "Emacs's" for consistency with other users in the manual (i think). Sure. Done as 72a94f91fd Robert --
[Prev in Thread] | Current Thread | [Next in Thread] |