3 Commits

Include renames

Author	SHA1	Message	Date
Frederik Rietdijk	7fd77f535f	python: mypy: 0.610 -> 0.620	2018-07-22 16:52:45 +02:00
Jörg Thalheim	bf794aaffc	mypy: 0.600 -> 0.610	2018-06-09 18:26:27 +01:00
Jörg Thalheim	b76177a625	mypy: make it usuable as a library	2018-05-25 10:59:47 +01:00