Makefile.python: remove obsolete comment about mypy
Description
Description
Details
Details
- Provenance
zack Authored on Nov 7 2019, 10:04 AM zack Pushed on Nov 7 2019, 10:05 AM - Parents
- rDENVe15a08b7b911: Makefile.python: make "make check" also run "make typecheck"
- Branches
- Unknown
- Tags