From 8ca7fa689bc89f5d327a4d00017855e3ede0561b Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Mon, 22 Aug 2022 19:59:36 +0200 Subject: [PATCH] Release 0.16.54 --- 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 ca620cf..e0ac2d8 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "lean", - "version": "0.16.53", + "version": "0.16.54", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "lean", - "version": "0.16.53", + "version": "0.16.54", "license": "Apache-2.0", "dependencies": { "axios": "^0.21.1", diff --git a/package.json b/package.json index c1ece53..f72caef 100644 --- a/package.json +++ b/package.json @@ -2,7 +2,7 @@ "name": "lean", "displayName": "lean", "description": "Lean 3 language support for VS Code", - "version": "0.16.53", + "version": "0.16.54", "publisher": "jroesch", "engines": { "vscode": "^1.38.0"