1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-12-12 12:01:08 +01:00

zed-editor: userKeymaps default to empty array (#7222)

This commit is contained in:
André Silva 2025-06-06 15:42:33 +01:00 committed by GitHub
parent 812b43b45d
commit c18a767948
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -73,7 +73,7 @@ in
userKeymaps = mkOption { userKeymaps = mkOption {
type = jsonFormat.type; type = jsonFormat.type;
default = { }; default = [ ];
example = literalExpression '' example = literalExpression ''
[ [
{ {