mirror of
https://github.com/microsoft/terminal.git
synced 2025-12-11 04:38:24 -06:00
Fixes the terminal profile jsonschema to allow for null in the id. This is to match the current implementation when disabling a built in default keybind.