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

2026-11-04 07:33:18 +00:00 · 2026-11-04 04:24:49 +01:00
parent 4cfa78c3bd
commit 8fe018a00f
1 changed files with 7 additions and 0 deletions
@@ -176,6 +176,13 @@
                },
                "additionalProperties": {}
              },
+              "options": {
+                "type": "object",
+                "propertyNames": {
+                  "type": "string"
+                },
+                "additionalProperties": {}
+              },
              "notes": {
                "type": "string"
              }