all repos — nixfiles @ d3990a89701ad0cb33a6912ebf8c2698076e0212

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

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