mirror of
https://github.com/nix-community/home-manager
synced 2024-08-21 19:46:30 +02: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";
|