Skip to content

Convert more getters to properties#132

Merged
greg-hellings merged 6 commits intomainfrom more_propertiesMay 23, 2022