This repository has been archived by the owner on Apr 26, 2024. It is now read-only.
Remove unused # type: ignore
s#12531
Merged
DMRobertson merged 8 commits intodevelop from dmr/typing/warn-unused-ignoresApr 27, 2022
+60-57
Commits
Commits on Apr 22, 2022
- committedDavid Robertson
- committedDavid Robertson
- committedDavid Robertson
- committedDavid Robertson
Commits on Apr 25, 2022
- committedDavid Robertson
- committedDavid Robertson
Commits on Apr 27, 2022
- committedDavid Robertson
- committedDavid Robertson