all repos — nixfiles @ 312a4ce589f85d955a19b9d86f0c89b930147072

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

..
-rw-r--r--
72
default.nix
-rw-r--r--
643
htmlformat.nix