micbou 2b8e86797c Improve server crash notification at startup ... Notify the user if the server crashed during server polling at startup.		2017-10-05 13:12:23 +02:00
..
ycm	Improve server crash notification at startup	2017-10-05 13:12:23 +02:00
test_requirements.txt	Require coverage.py older than 4.4	2017-06-04 16:42:54 +02:00