2 commits

Author	SHA1	Message	Date
Dima Gerasimov	9e9fa9620c	update documentation on using Polar	2020-04-12 15:26:14 +01:00
Dima Gerasimov	01b52fcca2	add linting script for mypy	2020-04-12 13:15:33 +01:00