all repos — nixfiles @ 16037991d881161f9c7212388fc0b932bb737a77

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

..
-rw-r--r--
3766
marvin.nix
-rw-r--r--
759
prefect.nix
-rw-r--r--
318
r5.nix
-rw-r--r--
358
server.nix