Skip to content

fix(config): use the correct section for mypy#220

Open
nojhan wants to merge 1 commit intoOneDeadKey:mainfrom
nojhan:fix-mypy-config
Open

fix(config): use the correct section for mypy#220
nojhan wants to merge 1 commit intoOneDeadKey:mainfrom
nojhan:fix-mypy-config

Commits

Commits on Aug 13, 2025