diff options
| author | Joel Challis <git@zvecr.com> | 2022-08-15 06:25:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-14 22:25:16 -0700 |
| commit | ed3b4bb606dd3729129bfbd0d5fae96a72c7303c (patch) | |
| tree | 334025d8190e34f27ead0ad4f14104e572230995 | |
| parent | 5334614e8a534c2d40cfe968a769277ed1a311b6 (diff) | |
Fix missing development_board schema entry (#18050)
| -rw-r--r-- | data/schemas/keyboard.jsonschema | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/schemas/keyboard.jsonschema b/data/schemas/keyboard.jsonschema index c55d66e6bb..2c6a7f527c 100644 --- a/data/schemas/keyboard.jsonschema +++ b/data/schemas/keyboard.jsonschema @@ -34,7 +34,7 @@ }, "development_board": { "type": "string", - "enum": ["promicro", "elite_c", "proton_c", "kb2040", "promicro_rp2040", "blok", "bit_c_pro", "bluepill", "blackpill_f401", "blackpill_f411"] + "enum": ["promicro", "elite_c", "proton_c", "kb2040", "promicro_rp2040", "blok", "bit_c_pro", "stemcell", "bluepill", "blackpill_f401", "blackpill_f411"] }, "pin_compatible": { "type": "string", |