all repos — nixfiles @ 552dc4322340260518b218ada044670240e3cf28

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--
3388
linde.nix
-rw-r--r--
2545
marvin.nix
-rw-r--r--
4531
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--
1175
smrk.nix