|
From: | Dimitri Belopopsky |
Subject: | bug#60761: [PATCH] Remove deprecated RLS server from list of eglot servers |
Date: | Thu, 12 Jan 2023 22:43:41 +0100 |
0001-Remove-deprecated-RLS-server-from-list-of-eglot-serv.patch
Description: Source code patch
[Prev in Thread] | Current Thread | [Next in Thread] |