Skip to content

Commit f4ce3a5

Browse files
gebnergebner
committed
Release 0.0.14
1 parent ef24c6e commit f4ce3a5

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.13",
5+
"version": "0.0.14",
66
"publisher": "leanprover",
77
"engines": {
88
"vscode": "^1.38.0"

0 commit comments

Comments
 (0)