Skip to content

Don't use google fonts when building html doc.#932

Merged
ThomasAdam merged 1 commit intomainfrom js/html-doc-offlineDec 3, 2023

Commits

Commits on Dec 3, 2023