all repos — nixfiles @ 5be1d346179f1123a2054986c2ddb35a75d4ea4d

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

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