diff Resources/Patches/boost-1.65.1-linux-standard-base.patch @ 3263:f58553a98204

fix rounding
author am@osimis.io
date Wed, 20 Feb 2019 12:34:22 +0100
parents 862d943115f9
children
line wrap: on
line diff