micbou 031edea89e Improve error message when server crashes ... Give the exact command that the user needs to type to open the server logfile when the server unexpectedly crashes.		2017-08-18 18:15:20 +02:00
..
ycm	Improve error message when server crashes	2017-08-18 18:15:20 +02:00
test_requirements.txt	Require coverage.py older than 4.4	2017-06-04 16:42:54 +02:00