HomePhabricator

Add mypy config file

Tags
None
Referenced Files
None
Subscribers
None

Description

Add mypy config file

This makes it easier to run mypy outside the makefile.

Details

Provenance
LucasWerkmeisterAuthored on Jul 20 2021, 7:49 PM
Parents
R2909:f309990d5bab: Update config loading code
Branches
Unknown
Tags
Unknown
ChangeId
None

Event Timeline