From 58c72dadf84328f9de51d8d1dcd9a9add201dc0f Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Thu, 19 May 2022 14:49:10 +0200 Subject: [PATCH] Release 0.16.49 --- package-lock.json | 4 ++-- package.json | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/package-lock.json b/package-lock.json index 85e5567..3d498c4 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "lean", - "version": "0.16.48", + "version": "0.16.49", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "lean", - "version": "0.16.48", + "version": "0.16.49", "license": "Apache-2.0", "dependencies": { "axios": "^0.21.1", diff --git a/package.json b/package.json index 72219b4..2383d96 100644 --- a/package.json +++ b/package.json @@ -2,7 +2,7 @@ "name": "lean", "displayName": "lean", "description": "An extension for VS Code which provides support for the Lean language.", - "version": "0.16.48", + "version": "0.16.49", "publisher": "jroesch", "engines": { "vscode": "^1.38.0"