2022-05-20 12:45:42 +02:00
|
|
|
_:
|
|
|
|
|
|
|
|
{
|
|
|
|
".nix-channels".source = ./files/nix-channels;
|
|
|
|
".profile".source = ./files/profile;
|
|
|
|
".myclirc".source = ./files/myclirc;
|
|
|
|
".agignore".source = ./files/agignore;
|
2022-10-04 15:09:44 +02:00
|
|
|
".docker/config.json".source = ./files/docker/config.json;
|
2022-05-20 12:45:42 +02:00
|
|
|
}
|