From 4b69512d1b2946d41a8f4e20b01d235764faa797 Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Fri, 22 May 2020 10:46:02 +0200 Subject: [PATCH] 0.1.1 --- package-lock.json | 2 +- package.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package-lock.json b/package-lock.json index d1ba2c1..b4492a0 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,6 +1,6 @@ { "name": "b-eventb-language-extension", - "version": "0.1.0", + "version": "0.1.1", "lockfileVersion": 1, "requires": true, "dependencies": { diff --git a/package.json b/package.json index 02837e4..8081649 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.0", + "version": "0.1.1", "publisher": "SeeBasTStick", "icon": "prob2-ui.png", "author": "Sebastian Stock", -- GitLab