From 2840b9bec4101e466fb91ec75ddbac1b7126b170 Mon Sep 17 00:00:00 2001
From: ComFreek <comfreek@outlook.com>
Date: Wed, 26 Apr 2023 02:30:44 +0200
Subject: [PATCH] bump to 0.1.2

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index cf6fbe3..288bb28 100644
--- 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"
   },