beremiz

beremiz/tests/traffic_lights/svgui-0@svgui/
Fix rounding of thousandths of microseconds in duration editor

2018-06-27, Andrey Skvortsov
d3751d43c390