HomeSoftware Heritage

Makefile.python: remove obsolete comment about mypy

Description

Makefile.python: remove obsolete comment about mypy

Details

Provenance
zackAuthored on Nov 7 2019, 10:04 AM
zackPushed on Nov 7 2019, 10:05 AM
Parents
rDENVe15a08b7b911: Makefile.python: make "make check" also run "make typecheck"
Branches
Unknown
Tags
Unknown