From 53b8dad4bd0eb87788b021e375c11f710168bfd5 Mon Sep 17 00:00:00 2001 From: Florian Moser Date: Fri, 9 Feb 2024 11:40:51 +0100 Subject: [PATCH] release: Bump version --- package-lock.json | 4 ++-- package.json | 2 +- server/package-lock.json | 4 ++-- server/package.json | 2 +- 4 files changed, 6 insertions(+), 6 deletions(-) diff --git a/package-lock.json b/package-lock.json index 3bcf7e3..7810571 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "vscode-proverif", - "version": "1.3.0", + "version": "1.3.1", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "vscode-proverif", - "version": "1.3.0", + "version": "1.3.1", "hasInstallScript": true, "license": "MIT", "devDependencies": { diff --git a/package.json b/package.json index 43044b0..c8622fd 100644 --- a/package.json +++ b/package.json @@ -5,7 +5,7 @@ "author": "ProVerif", "icon": "img/icon.png", "license": "MIT", - "version": "1.3.0", + "version": "1.3.1", "repository": { "type": "git", "url": "https://github.com/ProVerif/vscode-proverif-language-service" diff --git a/server/package-lock.json b/server/package-lock.json index c83834c..b9d864b 100644 --- a/server/package-lock.json +++ b/server/package-lock.json @@ -1,12 +1,12 @@ { "name": "vscode-proverif-server", - "version": "1.3.0", + "version": "1.3.1", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "vscode-proverif-server", - "version": "1.3.0", + "version": "1.3.1", "license": "MIT", "dependencies": { "antlr4-c3": "^3.1.1", diff --git a/server/package.json b/server/package.json index 6e34567..19fbf4e 100644 --- a/server/package.json +++ b/server/package.json @@ -2,7 +2,7 @@ "name": "vscode-proverif-server", "description": "Language support for the ProVerif language - server", "author": "ProVerif", - "version": "1.3.0", + "version": "1.3.1", "license": "MIT", "engines": { "node": "*"