Updated package.json

Dayveed117 · Jan 3, 2023 · 6f1a491 · 6f1a491
1 parent 9e7e3f7
commit 6f1a491
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/package.json b/package.json
@@ -3,6 +3,9 @@
   "displayName": "whylson-connector",
   "description": "VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.",
   "version": "0.0.1",
+  "repository": {
+    "url": "https://github.com/Dayveed117/vscode-whylson-connector"
+  },
   "engines": {
     "vscode": "^1.67.0"
   },