all repos — nixfiles @ 9a3ec363b1ea8124094615e3c39edc233804cb1a

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

..
-rw-r--r--
4079
marvin.nix
-rw-r--r--
804
prefect.nix
-rw-r--r--
318
r5.nix
-rw-r--r--
314
server.nix