(float_to_string): Add final 0 if text ends with decimal pt.
authorRichard M. Stallman <rms@gnu.org>
Wed, 13 Jan 1993 00:25:03 +0000 (00:25 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 13 Jan 1993 00:25:03 +0000 (00:25 +0000)
commit0601fd3d8f9dab900b9fdd7d840837a24530c138
tree075159da9acdc60da88c721049fb2559b6644fa5
parentc24e9a53b3dc22babf9fc4a47bd37a8c7689d6f5
(float_to_string): Add final 0 if text ends with decimal pt.
src/print.c