mirror of
https://github.com/nix-community/home-manager
synced 2024-09-11 22:06:31 +02:00
5 lines
109 B
Nix
5 lines
109 B
Nix
{
|
|
gnome-terminal-1 = ./gnome-terminal-1.nix;
|
|
gnome-terminal-bad-profile-name = ./bad-profile-name.nix;
|
|
}
|