Skip to content

Commit cc5eecb

Browse files
authored
Upgrade to v0.0.2 (#28)
1 parent 535948a commit cc5eecb

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
@@ -7,7 +7,7 @@
77
"type": "git",
88
"url": "https://github.com/model-checking/kani-vscode-extension"
99
},
10-
"version": "0.0.1",
10+
"version": "0.0.2",
1111
"engines": {
1212
"vscode": "^1.70.0"
1313
},

0 commit comments

Comments
 (0)