Skip to content

Commit 1822fbc

Browse files
gebnergebner
committed
Release 0.0.12
1 parent 5a2a067 commit 1822fbc

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

‎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": "lean4",
33
"displayName": "lean4",
44
"description": "An extension for VS Code which provides support for the Lean 4 language.",
5-
"version": "0.0.11",
5+
"version": "0.0.12",
66
"publisher": "leanprover",
77
"engines": {
88
"vscode": "^1.38.0"

0 commit comments

Comments
 (0)