From 44e0b6d9e10eaa20b509e528e518e1988257fdae Mon Sep 17 00:00:00 2001 From: JCWasmx86 Date: Sat, 8 Jul 2023 11:00:04 +0200 Subject: [PATCH] Switch to the Vala language server GVls is deprecated --- index.html | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/index.html b/index.html index 847ef36..a080ef4 100644 --- a/index.html +++ b/index.html @@ -3424,10 +3424,10 @@

Language servers

Vala - GNOME Foundation + vala-lang - GNOME's GitLab Instance + https://github.com/vala-lang/vala-language-server @@ -3441,18 +3441,13 @@

Language servers

- - - + + + Veryl