Clean up some float formatting.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 1 Nov 2004 07:51:33 +0000 (07:51 +0000)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 1 Nov 2004 07:51:33 +0000 (07:51 +0000)

No differences found