From a5b0ecb46e6c1659b5901f097811afdba292a889 Mon Sep 17 00:00:00 2001 From: Jack Cherng Date: Tue, 31 Oct 2023 03:56:34 +0800 Subject: [PATCH] Update server to version 2023-10-30 (#18) --- plugin.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugin.py b/plugin.py index 8f9d25f..35b359e 100644 --- a/plugin.py +++ b/plugin.py @@ -6,7 +6,7 @@ import urllib.request -MARKSMAN_TAG = '2023-07-25' +MARKSMAN_TAG = '2023-10-30' MARKSMAN_RELEASES_BASE = 'https://github.com/artempyanykh/marksman/releases/download/{tag}/{platform}' USER_AGENT = 'Sublime Text LSP'