all repos — nixfiles @ 68deeeb0a1372cd72f3e310995a18a4d62451cf5

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--
3625
linde.nix
-rw-r--r--
2545
marvin.nix
-rw-r--r--
4539
prefect.nix
-rw-r--r--
457
r5-hardware.nix
-rw-r--r--
2378
r5.nix
-rw-r--r--
784
r6-hardware.nix
-rw-r--r--
12850
r6.nix
-rw-r--r--
958
smrk.nix