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

2026-11-01 22:23:07 +00:00 · 2026-11-01 08:17:11 +01:00
parent 1ee149c85b
commit f487316a9d
1 changed files with 7 additions and 0 deletions
@@ -176,6 +176,13 @@
                },
                "additionalProperties": {}
              },
+              "options": {
+                "type": "object",
+                "propertyNames": {
+                  "type": "string"
+                },
+                "additionalProperties": {}
+              },
              "notes": {
                "type": "string"
              }