all repos — nixfiles @ 242507e8fd5b7278d63c37dcd6bf58be072b020d

System and user configuration, managed by nix and home-manager

..
-rw-r--r--
370
installer.nix
-rw-r--r--
1350
linde-hardware.nix
-rw-r--r--
3790
linde.nix
-rw-r--r--
2545
marvin.nix
-rw-r--r--
4539
prefect.nix
-rw-r--r--
457
r5-hardware.nix
-rw-r--r--
2356
r5.nix
-rw-r--r--
784
r6-hardware.nix
-rw-r--r--
12858
r6.nix
-rw-r--r--
476
smrk.nix