mirror of
https://github.com/nix-community/home-manager
synced 2024-12-23 19:43:17 +00:00
6 lines
114 B
INI
6 lines
114 B
INI
|
"tool-1" = PEN (size=5 color="red");
|
||
|
"default" = "tool-1";
|
||
|
|
||
|
"tool-2" = ERASER (size=75);
|
||
|
"default"[3] = "tool-2";
|