libm: fix double rounding description
authornsz <nsz@port70.net>
Mon, 27 Feb 2012 21:29:13 +0000 (22:29 +0100)
committernsz <nsz@port70.net>
Mon, 27 Feb 2012 21:29:13 +0000 (22:29 +0100)
commitd150cfff9b8023f6f8e0cd396c756c205d6a1b17
tree75bf045fdb2a869f0164edd9da31b4dadab1a8ae
parent426327db4c4ddcff003fc2ffbfb892d2c1f03720
libm: fix double rounding description
libm/index.html