Eugen Wissner 74ece7ddf4 Replace floating pointer formatter with errol1		2018-06-23 16:21:19 +02:00
..
tanya	Replace floating pointer formatter with errol1	2018-06-23 16:21:19 +02:00