Skip to content

Commit

Permalink
Update server to version 2023-07-25 (#17)
Browse files Browse the repository at this point in the history
  • Loading branch information
predragnikolic authored Aug 19, 2023
1 parent 9433341 commit edc41b5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion plugin.py
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
import urllib.request


MARKSMAN_TAG = '2023-06-01'
MARKSMAN_TAG = '2023-07-25'
MARKSMAN_RELEASES_BASE = 'https://github.com/artempyanykh/marksman/releases/download/{tag}/{platform}'
USER_AGENT = 'Sublime Text LSP'

Expand Down

0 comments on commit edc41b5

Please sign in to comment.