Update link to description of execution statistics, tlaplus#114

lemmy · Feb 19, 2021 · 6f0c5bd · 6f0c5bd
1 parent 5223bb3
commit 6f0c5bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -289,7 +289,7 @@
                     "type": "string",
                     "scope": "machine",
                     "default": "doNotShare",
-                    "markdownDescription": "Allows you to send the TLC usage statistics to [the publicly available database](https://exec-stats.tlapl.us). You can find more details on what is shared [here](https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/util/ExecutionStatisticsCollector.md).",
+                    "markdownDescription": "Allows you to send the TLC usage statistics to [the publicly available database](https://exec-stats.tlapl.us). You can find more details on what is shared [here](https://github.com/tlaplus/tlaplus/blob/master/tlatools/org.lamport.tlatools/src/util/ExecutionStatisticsCollector.md).",
                     "enum": [
                         "share",
                         "shareWithoutId",