all repos — nixfiles @ ba08cd95da1d9198b898678f5d1159f825baaf14

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--
20899
linde.nix
-rw-r--r--
2545
marvin.nix
-rw-r--r--
4539
prefect.nix
-rw-r--r--
457
r5-hardware.nix
-rw-r--r--
2634
r5.nix
-rw-r--r--
784
r6-hardware.nix
-rw-r--r--
13154
r6.nix
-rw-r--r--
2355
smrk.nix