mirror of
https://github.com/nix-community/home-manager.git
synced 2025-03-06 16:57:03 +00: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";
|