[coq-lsp] Release 0.1.9

ejgallego · May 31, 2024 · fc6ff95 · fc6ff95
1 parent 3cec356
commit fc6ff95
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
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.9-dev",
+  "version": "0.1.9",
   "contributors": [
     "Emilio Jesús Gallego Arias <[email protected]>",
     "Ali Caglayan <[email protected]>",

diff --git a/fleche/version.ml b/fleche/version.ml
@@ -12,6 +12,6 @@ type t = string
 
 (************************************************************************)
 (*                        UPDATE VERSION HERE                           *)
-let server = "0.1.9-dev"
+let server = "0.1.9"
 (*                        UPDATE VERSION HERE                           *)
 (************************************************************************)