Mikkel Krautz 07c0eeaa84 Merge PR #15: Improve startup error messages.		2018-01-31 21:07:58 +01:00
..
grumble	Merge PR #15: Improve startup error messages.	2018-01-31 21:07:58 +01:00