Bump version to 0.0.6 (#129)

model-checking · Aug 17, 2023 · 27d00f6 · 27d00f6
1 parent 9c3f2b4
commit 27d00f6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -14,7 +14,7 @@
  "bugs": {
  "url": "https://github.com/model-checking/kani-vscode-extension/issues"
  },
- "version": "0.0.5",
+ "version": "0.0.6",
  "engines": {
  "vscode": "^1.70.0"
  },