Skip to content

fix typos in docstring#2160

Merged
ranocha merged 1 commit intomainfrom ranocha-patch-2Nov 13, 2024

Commits

Commits on Nov 13, 2024