From bc03f3c623258efa674d627e963412fc34c9f309 Mon Sep 17 00:00:00 2001
From: Don Syme <dsyme@users.noreply.github.com>
Date: Tue, 9 Nov 2021 14:01:53 +0000
Subject: [PATCH] Update dotnet-tools.json

---
 .config/dotnet-tools.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 5ee7b81a4..5fd4fd9ed 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -2,8 +2,8 @@
   "version": 1,
   "isRoot": true,
   "tools": {
-    "fsharp.formatting.commandtool": {
-      "version": "11.4.2",
+    "fsdocs-tool": {
+      "version": "12.0.0",
       "commands": [
         "fsdocs"
       ]