Skip to content

DOC: remove .html from page URLs#388

Merged
redeboer merged 1 commit intomainfrom dirhtmlJan 20, 2024

Commits

Commits on Jan 20, 2024