Skip to content

Print positions with 3 decimals

Torsten Bögershausen requested to merge torsten/240312-print-positions-with-3-decimals into master

Make the printing of positions more "exact": Print 3 instead of 2 decimals. Note: This change may miss some positions printed: Those which do not have any decimals yet. No other intended code changes

Merge request reports