diff --git a/package-lock.json b/package-lock.json index 992900a..6ea40f6 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "lean", - "version": "0.16.32", + "version": "0.16.33", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "lean", - "version": "0.16.32", + "version": "0.16.33", "license": "Apache-2.0", "dependencies": { "axios": "^0.21.1", diff --git a/package.json b/package.json index 41e06c9..73f8fb0 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.32", + "version": "0.16.33", "publisher": "jroesch", "engines": { "vscode": "^1.38.0"