all repos — nixfiles @ 60d2262f3879b54f8fc6cb198d79b12f937d6bfb

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

..
-rw-r--r--
3585
marvin.nix
-rw-r--r--
804
prefect.nix
-rw-r--r--
142
r5.nix
-rw-r--r--
314
server.nix