Update version to 2.1.2

monadius · Oct 19, 2024 · f2daeb0 · f2daeb0
1 parent fd6a19e
commit f2daeb0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -2,7 +2,7 @@
     "name": "hol-light-simple",
     "displayName": "HOL Light",
     "description": "An extension for VS Code which provides support for HOL Light",
-    "version": "2.1.1",
+    "version": "2.1.2",
     "license": "SEE LICENSE IN LICENSE",
     "publisher": "monadius",
     "engines": {