Skip to content

Remove unnecessary mypy setting - #1474

Merged
WhyNotHugo merged 1 commit into
masterfrom
lint
Jul 27, 2026
Merged

Remove unnecessary mypy setting#1474
WhyNotHugo merged 1 commit into
masterfrom
lint

Commits

Commits on Jul 27, 2026