diff --git a/package-lock.json b/package-lock.json index 72f83a8..86294e6 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "lean", - "version": "0.16.36", + "version": "0.16.37", "lockfileVersion": 2, "requires": true, "packages": { "": { "name": "lean", - "version": "0.16.36", + "version": "0.16.37", "license": "Apache-2.0", "dependencies": { "axios": "^0.21.1", diff --git a/package.json b/package.json index 1c59661..9287572 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.36", + "version": "0.16.37", "publisher": "jroesch", "engines": { "vscode": "^1.38.0"