From 4c7f2a68104524047e0d9b678f3d458668a18889 Mon Sep 17 00:00:00 2001
From: Mike Miller <github@mikeage.net>
Date: Tue, 30 Mar 2021 06:01:34 +0300
Subject: [PATCH] Use older version of dotnet format because of
 https://github.com/xt0rted/dotnet-format/issues/90

---
 .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 59785a96af..97a29c6e60 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -3,10 +3,10 @@
   "isRoot": true,
   "tools": {
     "dotnet-format": {
-      "version": "5.0.211103",
+      "version": "4.0.130203",
       "commands": [
         "dotnet-format"
       ]
     }
   }
-}
\ No newline at end of file
+}