Bump VSCode extension version to 0.1.3 for release.

aschwerdfeger-galois · aschwerdfeger-galois · commit fd5ea51b85f0 · 2026-02-04T18:55:10.000Z
diff --git a/language-server/client/CHANGELOG.md b/language-server/client/CHANGELOG.md
@@ -1,3 +1,7 @@
+# Version 0.1.3
+
+Update dependencies to more recent versions.
+
 # Version 0.1.2
 
 Update dependencies to more recent versions.
diff --git a/language-server/client/package-lock.json b/language-server/client/package-lock.json
diff --git a/language-server/client/package.json b/language-server/client/package.json
@@ -4,7 +4,7 @@
   "description": "Language support for Cryptol",
   "icon": "images/icon.png",
   "publisher": "GaloisInc",
-  "version": "0.1.2",
+  "version": "0.1.3",
   "engines": {
     "vscode": "^1.100.2"
   },
