Skip to content

Add mypy#51

Merged
jan-janssen merged 2 commits intomainfrom mypyNov 30, 2024

Commits

Commits on Nov 30, 2024