all repos — nixfiles @ d010059385cba39105ee2284ec7d504f6d89b136

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--
21805
linde.nix
-rw-r--r--
2545
marvin.nix
-rw-r--r--
4539
prefect.nix
-rw-r--r--
457
r5-hardware.nix
-rw-r--r--
2900
r5.nix
-rw-r--r--
784
r6-hardware.nix
-rw-r--r--
13393
r6.nix
-rw-r--r--
2538
smrk.nix