Lukas Eder 4eab72067e [#5939] Added rounding error disclaimer		2018-09-20 19:32:04 +02:00
..
main	[#5939] Added rounding error disclaimer	2018-09-20 19:32:04 +02:00