add qna section

model-checking · Jul 7, 2023 · 9492594 · 9492594
1 parent 9129cca
commit 9492594
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/package.json b/package.json
@@ -14,6 +14,7 @@
   "bugs": {
     "url": "https://github.com/model-checking/kani-vscode-extension/issues"
   },
+  "qna": "https://github.com/model-checking/kani-vscode-extension/blob/main/docs/troubleshooting.md",
   "version": "0.0.5",
   "engines": {
     "vscode": "^1.70.0"