Philipp Hörist d19ca8113a Add a pre-push script ... Run this before every push to simulate the CI regarding mypy and pylint		2018-09-16 14:15:38 +02:00
..
dev	Add a pre-push script	2018-09-16 14:15:38 +02:00