bump to 0.1.2

UniFormal · Apr 26, 2023 · 2840b9b · 2840b9b
1 parent 41a927e
commit 2840b9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -2,7 +2,7 @@
   "name": "mmt",
   "displayName": "MMT Language",
   "description": "Language and build support for the MMT language developed by the https://kwarc.info research group.",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "engines": {
     "vscode": "^1.74.0"
   },