Maxime Coste dd41a46c4c Correctly set c++ locale on startup ... Fixes #595		2016-05-10 22:06:02 +01:00
..
cmd
in
state	Correctly set c++ locale on startup	2016-05-10 22:06:02 +01:00