change banner

This commit is contained in:
dusk 2021-05-17 16:38:55 +03:00
parent 57e712c810
commit d1059dd2e0
Signed by: dusk
GPG Key ID: 1D8F8FAF2294D6EA

View File

@ -34,7 +34,7 @@
};
};
header = with lib.tags; div { class = "botheader"; }
(a { href = "https://github.com/yusdacra/html.nix"; } " made with Nix in html.nix");
(a { href = "https://github.com/yusdacra/html.nix"; } " written in Nix + html.nix");
in
(
mapAttrsRecursive