Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
mypy: try to exclude the build dir as well
I can't reproduce the problem shown in #229 but maybe this helps
- Loading branch information