Skip to content
Snippets Groups Projects
Commit 4b69512d authored by SeeBasTStick's avatar SeeBasTStick
Browse files

0.1.1

parent 886ecadf
Branches
Tags
No related merge requests found
{ {
"name": "b-eventb-language-extension", "name": "b-eventb-language-extension",
"version": "0.1.0", "version": "0.1.1",
"lockfileVersion": 1, "lockfileVersion": 1,
"requires": true, "requires": true,
"dependencies": { "dependencies": {
......
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
"name": "b-eventb-language-extension", "name": "b-eventb-language-extension",
"displayName": "b-eventb language extension", "displayName": "b-eventb language extension",
"description": "compiler support for b and eventb via ProB", "description": "compiler support for b and eventb via ProB",
"version": "0.1.0", "version": "0.1.1",
"publisher": "SeeBasTStick", "publisher": "SeeBasTStick",
"icon": "prob2-ui.png", "icon": "prob2-ui.png",
"author": "Sebastian Stock", "author": "Sebastian Stock",
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment