log src/print.c @ 1764:94ff5d9ef48a

age author description
1993-01-13 Richard M. Stallman (float_to_string): Add final 0 if text ends with decimal pt.
1993-01-10 Richard M. Stallman (float_to_string): Add `.0' at end if needed.
1992-10-31 Jim Blandy * print.c (print): Cast the frame's address to an integer before