Makefile: mypy-stubgen, no export, pipenv run python. #106

Closed walter-weinmann closed 8 months ago