diff options
| author | Joel Challis <git@zvecr.com> | 2022-11-13 16:31:29 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-14 03:31:29 +1100 |
| commit | e273df8b93b743bce0b25688373d40945e6556fd (patch) | |
| tree | 750ce6405ff5acc9932998882c6c083e2684e308 | |
| parent | 83477bfa0fa953007c12a597c7072d4faf6ecc53 (diff) | |
Fix duplicate key in keyboard.jsonschema (#19058)
| -rw-r--r-- | data/schemas/keyboard.jsonschema | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/data/schemas/keyboard.jsonschema b/data/schemas/keyboard.jsonschema index d5f4f392d7..353d9469d1 100644 --- a/data/schemas/keyboard.jsonschema +++ b/data/schemas/keyboard.jsonschema @@ -590,7 +590,6 @@ "right": { "type": "object", "additionalProperties": false, - "type": "object", "properties": { "side": { "type": "string", |