From 9c5ce33a34c994866660b12093996ad5bb1136dd Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Fri, 22 May 2020 14:49:10 +0200 Subject: [PATCH] 0.2.0 --- package-lock.json | 2 +- package.json | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/package-lock.json b/package-lock.json index b4492a0..129d102 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,6 +1,6 @@ { "name": "b-eventb-language-extension", - "version": "0.1.1", + "version": "0.2.0", "lockfileVersion": 1, "requires": true, "dependencies": { diff --git a/package.json b/package.json index 4c2890c..78af215 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.1.1", + "version": "0.2.0", "publisher": "SeeBasTStick", "icon": "prob2-ui.png", "author": "Sebastian Stock", @@ -117,4 +117,4 @@ "vscode-api": "0.0.0", "vscode-uri": "^2.1.1" } -} \ No newline at end of file +} -- GitLab