Merge pull request #202 from ejgallego/version_bump

[general] Bump server / client version to 0.1.4
ejgallego · Jan 20, 2023 · 6fafb3d · 6fafb3d
2 parents 7d3deb0 + 6bf6674
commit 6fafb3d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/controller/version.ml b/controller/version.ml
@@ -12,6 +12,6 @@ type t = string
 
 (************************************************************************)
 (*                        UPDATE VERSION HERE                           *)
-let server = "0.1.3"
+let server = "0.1.4"
 (*                        UPDATE VERSION HERE                           *)
 (************************************************************************)
diff --git a/editor/code/package-lock.json b/editor/code/package-lock.json
diff --git a/editor/code/package.json b/editor/code/package.json
@@ -2,7 +2,7 @@
   "name": "coq-lsp",
   "displayName": "coq-lsp",
   "description": "Coq LSP provides native vsCode support for checking Coq proof documents",
-  "version": "0.1.3",
+  "version": "0.1.4",
   "contributors": [
     "Emilio Jesús Gallego Arias <e@x80.org>",
     "Ali Caglayan <alizter@gmail.com>",