Implement support for flexible matching of mypy error codes#41
Merged
davidfritzsche merged 1 commit intomainfrom Feb 25, 2023
Merged
Implement support for flexible matching of mypy error codes#41davidfritzsche merged 1 commit intomainfrom
davidfritzsche merged 1 commit intomainfrom
Commits
Commits on Feb 25, 2023
- committed
David Fritzsche