Skip to content

fix minor issues and typos.#44

Merged
christofluethi merged 2 commits intomainfrom fix/typosOct 13, 2024