chore(website): regenerate the config schema for profile options

2026-11-04 23:44:41 +00:00 · 2026-11-04 09:35:21 +01:00
parent b60b74384b
commit 1aaac5b231
1 changed files with 7 additions and 0 deletions
@@ -176,6 +176,13 @@
                },
                "additionalProperties": {}
              },
+              "options": {
+                "type": "object",
+                "propertyNames": {
+                  "type": "string"
+                },
+                "additionalProperties": {}
+              },
              "notes": {
                "type": "string"
              }