(build): add missing dotnet-tools.json

sia-digital · Nov 20, 2023 · edf15c2 · edf15c2
1 parent 906b854
commit edf15c2
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -0,0 +1,12 @@
+{
+  "version": 1,
+  "isRoot": true,
+  "tools": {
+    "jetbrains.dotcover.globaltool": {
+      "version": "2023.2.2",
+      "commands": [
+        "dotnet-dotcover"
+      ]
+    }
+  }
+}