mirror of
https://github.com/nix-community/home-manager
synced 2024-11-30 15:09:46 +01:00
5 lines
114 B
INI
5 lines
114 B
INI
"tool-1" = PEN (size=5 color="red");
|
|
"default" = "tool-1";
|
|
|
|
"tool-2" = ERASER (size=75);
|
|
"default"[3] = "tool-2";
|