Nix-Configs/blog-static-flake
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Files
78213700c8b858e0f92c4ff77d5c3c6dc4fe690d
blog-static-flake/lib.nix
Danila Fedorin 92caeb4d99 Fix Agda HTML crosslinking with Agda 2.8.0 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2026-01-05 00:37:37 +00:00

2.6 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink