Skip to content

Commit 38f7775

Browse files
lakesarelakesare
committed
extension - publish v1.6.4
1 parent 07ca167 commit 38f7775

2 files changed

Lines changed: 3 additions & 3 deletions

File tree

‎extension/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.

‎extension/package.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"name": "paperproof",
33
"displayName": "Paperproof",
44
"description": "Lean therorem proving interface which feels like pen-and-paper proofs",
5-
"version": "1.6.3",
5+
"version": "1.6.4",
66
"publisher": "paperproof",
77
"repository": {
88
"type": "git",

0 commit comments

Comments
 (0)