all repos — nixfiles @ 2c5665edeb0c5546e5e60d6ccb85731fe06bc83b

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

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