From 0a529ec9e40ebcd257f326c3a4c81d6f859e98d8 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Tue, 19 May 2020 12:19:29 +0200
Subject: [PATCH] 0.0.4

---
 package-lock.json | 6 ++----
 package.json      | 2 +-
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index 8b13498..18e74d3 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
 	"name": "b-eventb-language-extension",
-	"version": "0.0.3",
+	"version": "0.0.4",
 	"lockfileVersion": 1,
 	"requires": true,
 	"dependencies": {
@@ -2147,7 +2147,5 @@
 			}
 		}
 	},
-	"devDependencies":{
-		
-	}
+	"devDependencies": {}
 }
diff --git a/package.json b/package.json
index fe4436c..3ac04d1 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
 	"name": "b-eventb-language-extension",
 	"displayName": "b-eventb language extension",
 	"description": "compiler support for b and eventb via ProB",
-	"version": "0.0.3",
+	"version": "0.0.4",
 	"publisher": "SeeBasTStick",
 	"icon": "prob2-ui.png",
 	"author": "Sebastian Stock",
-- 
GitLab