From 9d8a09ef3267b253ae72d382aa317351fa31952a Mon Sep 17 00:00:00 2001
From: Christoph Ruegg <git@cdrnet.ch>
Date: Sat, 24 Jul 2021 14:13:38 +0200
Subject: [PATCH] Install local tools paket and fake-cli

---
 .config/dotnet-tools.json | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 .config/dotnet-tools.json

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
new file mode 100644
index 00000000..4a74930b
--- /dev/null
+++ b/.config/dotnet-tools.json
@@ -0,0 +1,18 @@
+{
+  "version": 1,
+  "isRoot": true,
+  "tools": {
+    "paket": {
+      "version": "5.258.1",
+      "commands": [
+        "paket"
+      ]
+    },
+    "fake-cli": {
+      "version": "5.20.4",
+      "commands": [
+        "fake"
+      ]
+    }
+  }
+}
\ No newline at end of file