Skip to content
This repository was archived by the owner on Apr 2, 2025. It is now read-only.

Commit 6cf4def

Browse files
gebnergebner
committed
Release 0.16.51
1 parent 7c891a6 commit 6cf4def

2 files changed

Lines changed: 3 additions & 3 deletions

File tree

‎package-lock.json‎

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎package.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"name": "lean",
33
"displayName": "lean",
44
"description": "An extension for VS Code which provides support for the Lean language.",
5-
"version": "0.16.50",
5+
"version": "0.16.51",
66
"publisher": "jroesch",
77
"engines": {
88
"vscode": "^1.38.0"

0 commit comments

Comments
 (0)