Skip to content

Add to Doxygen pages, and use doxygen as a CI check.#231

Merged
samcunliffe merged 3 commits intomainfrom readme-and-contributing-into-main-page-230Feb 23, 2023