mirror of
https://github.com/nix-community/home-manager
synced 2024-12-19 16:29:47 +01: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";
|