Fix a float format.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 1 Nov 2004 17:55:06 +0000 (17:55 +0000)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 1 Nov 2004 17:55:06 +0000 (17:55 +0000)

No differences found