Philipp Hörist 57af04d7d3 Add a pre-push script ... Run this before every push to simulate the CI regarding mypy and pylint		2018-10-07 00:46:41 +02:00
..
dev	Add a pre-push script	2018-10-07 00:46:41 +02:00