This repository was archived by the owner on Oct 2, 2021. It is now read-only.

Switch to mypy#88

Draft

dirn wants to merge 1 commit into

mainfrom

Commits on Dec 17, 2020

Switch to mypy
dirn
committed