Merge remote-tracking branch 'origin/main' into nixidy

2024-11-18 13:24:20 +01:00
parent 243260f479 993612f3bd
commit e8e652039c
70 changed files with 10196 additions and 29 deletions
@@ -0,0 +1,18 @@
+{
+  "version": 1,
+  "isRoot": true,
+  "tools": {
+    "fable": {
+      "version": "3.6.1",
+      "commands": [
+        "fable"
+      ]
+    },
+    "femto": {
+      "version": "0.11.0",
+      "commands": [
+        "femto"
+      ]
+    }
+  }
+}