all repos — nixfiles @ 7606d13164a9617c5381426fc5149c50d6bf6b35

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

..
-rw-r--r--
4013
marvin.nix
-rw-r--r--
804
prefect.nix
-rw-r--r--
318
r5.nix
-rw-r--r--
358
server.nix