Skip to content

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

Closed
kim-em wants to merge 1 commit into
lean4from
fix-dead-links
Closed

fix: rewrite all doc-relative links in header HTML, fix glossary link#802
kim-em wants to merge 1 commit into
lean4from
fix-dead-links

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

1baad9c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view