Skip to content

Require documentation of public API elements#80

Merged
ncoghlan merged 5 commits intomainfrom enable-docstring-style-checksNov 11, 2024