From 5a9f0f611c9d2c184a1b38c43dd4778d1a28a5f7 Mon Sep 17 00:00:00 2001 From: Justin Dorfman Date: Mon, 3 Apr 2023 12:59:06 -0700 Subject: [PATCH] Add Archived label --- index.html | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 8bc5ccf..9a3fe70 100644 --- a/index.html +++ b/index.html @@ -2583,7 +2583,9 @@

Language servers

- Python + Python + Archived + Microsoft @@ -2611,7 +2613,9 @@

Language servers

- Python + Python + Archived + Sourcegraph