4 commits

Author	SHA1	Message	Date
Dima Gerasimov	8019389ccb	cli: move doctor to core, add doc	2020-05-25 10:17:40 +01:00
Dima Gerasimov	dab29a44b5	cli: detect config properly in mypy check	2020-05-25 10:04:58 +01:00
Dima Gerasimov	2ede5b3a5c	cli: add config check command	2020-05-25 09:49:57 +01:00
Dima Gerasimov	647b6087dd	add main HPI executable	2020-05-14 23:01:50 +01:00