Skip to content

CI: check for dead links#792

Open
Vierkantor wants to merge 4 commits into
lean4from
dead-links-ci
Open

CI: check for dead links#792
Vierkantor wants to merge 4 commits into
lean4from
dead-links-ci

fix: rewrite all doc-relative links in header HTML, fix glossary link

7901a76
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar